Affiliation:
1. Lomonosov Moscow State University , Moscow , Russia
Abstract
Abstract
The enumeration closure operator (the Π-operator) is considered on the set Pk
of functions of the k-valued logic. It is proved that, for any k ⩾ 2, any positively precomplete class in Pk
is also Π-precomplete. It is also established that there are no other Π-precomplete classes in the three-valued logic.
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference18 articles.
1. Danil’chenko A. F., “Parametric expressibility of functions of three-valued logic”, Algebra i logika, 16, 1977, 266–280 (in Russian).
2. Danil’chenko A.F., “Parametrically closed classes of three-valued logic functions”, Izv. ANMSSR, 2 (1978), 13–20 (in Russian).
3. Kuznetsov A.V., “On the means for detecting non-deducibility and inexpressibility”, Logicheskii vyvod, M.: Nauka, 1979, 5–33 (in Russian).
4. Marchenkov S.S., “Basic relations of the S-classification of functions of the multi-valued logic”, Discrete Math. Appl., 6:2 (1996), 149–178.
5. Marchenkov S.S., “On expressibility of functions of many-valued logic in some logical-functional languages”, Discrete Math. Appl., 9:6 (1999), 563–581.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lattice of $E$-closed Classes of Multifunctions of Rank 2;The Bulletin of Irkutsk State University. Series Mathematics;2024