RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 2021 Volume 33, Issue 2, Pages 86–99 (Mi dm1641)

This article is cited 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.

UDC: 519.716

Received: 28.08.2020

DOI: 10.4213/dm1641


 English version:
Discrete Mathematics and Applications, 2022, 32:2, 105–114


© Steklov Math. Inst. of RAS, 2025