Completeness criterion with respect to the enumeration closure operator in the three-valued logic
Sergey Seraphimovich Marchenkov, Vasilii A. Prostov · Discrete Mathematics and Applications · 2022
Abstract The enumeration closure operator (the Π -operator) is considered on the set P k of functions of the k -valued logic. It is proved that, for any k ⩾ 2, any positively precomplete class in P k is also Π -precomplete. It is also established that there are no other Π -precomplete classes in the three-valued logic.