|
This article is cited in 1 scientific paper (total in 1 paper)
Completeness criterion with respect to the enumeration closure operator in the three-valued logic
S. S. Marchenkov, V. A. Prostov Lomonosov Moscow State University
Abstract:
The enumeration closure operator (the $\Pi$-operator) is considered on the set $P_k$ of functions of the $k$-valued logic. It is proved that, for any $k\geqslant 2$, any positively precomplete class in $P_k$ is also $\Pi$-precomplete. It is also established that there are no other $\Pi$-precomplete classes in the three-valued logic.
Keywords:
enumeration closure operator, functions of three-valued logic.
Received: 28.08.2020
Citation:
S. S. Marchenkov, V. A. Prostov, “Completeness criterion with respect to the enumeration closure operator in the three-valued logic”, Diskr. Mat., 33:2 (2021), 86–99; Discrete Math. Appl., 32:2 (2022), 105–114
Linking options:
https://www.mathnet.ru/eng/dm1641https://doi.org/10.4213/dm1641 https://www.mathnet.ru/eng/dm/v33/i2/p86
|
|