| Autor: |
Marchenkov, S. S. |
| Zdroj: |
Moscow University Computational Mathematics & Cybernetics; Sep2022, Vol. 46 Issue 3, p149-155, 7p |
| Abstrakt: |
Generalizations of A.V. Kuznetsov's implicit expressibility are considered for when additional logical connectives are introduced into the language of implicit expressibility. It is established that only three new implicit expressibility form as a result. Implicit extensions generated by all four implicit expressibilities are investigated, and it is shown they all differ on sets or . [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink