Abstract
The operator of positive closure is considered on the set P k of functions of k-valued logic. Some positive complete systems of functions are defined. It is proved that every positive complete class of functions from P k is positive generated by the set of all functions depending on at most k variables. For each k ⩾ 3, the three families of positive precomplete classes are defined. It is shown that, for k = 3, the 10 classes of these families constitute a criterion system.
Similar content being viewed by others
References
A. F. Danil’chenko, “Parametric Expressibility of Functions of Three-Valued Logic,” Algebra Logika 16(4), 197–216 (1977) [Algebra Logic 16, 266–280 (1978)].
A. V. Kuznetsov, “Means for Detection of Nondeducibility and Inexpressibility,” in Logical Inference (Nauka, Moscow, 1979), pp. 5–33.
S. S. Marchenkov, Closed Classes of Boolean Functions (Fizmatlit, Moscow, 2000) [in Russian].
S. S. Marchenkov, “Equational Closure,” Diskret. Mat. 17(2), 117–126 (2005) [Discrete Math. Appl. 15(3), 289–298 (2005)].
S. S. Marchenkov, Functional Systems with Superposition Operation (Fizmatlit, Moscow, 2004) [in Russian].
S. S. Marchenkov, “On Expressibility of Functions of Many-Valued Logic in Some Logical-Functional Languages,” Diskret. Mat. 11(4), 110–126 (1999) [Discrete Math. Appl. 9 (6), 563–581 (1999)].
E. L. Post, “Introduction to a General Theory of Elementary Propositions,” Amer. J. Math. 43, 163–185 (1921).
E. L. Post, Two-Valued Iterative Systems of Mathematical Logic (Princeton Univ. Press, Princeton, 1941).
S. V. Yablonskii, Introduction to Discrete Mathematics (Nauka, Moscow, 1986) [in Russian].
S. V. Yablonskii, “Functional Constructions in k-valued Logic,” Trudy Mat. Inst. Steklov. 51, 5–142 (1958).
Yu. I. Yanov and A. A. Muchnik, “On the Existence of k-Valued Closed Classes Without a Finite Basis,” Dokl. Akad. Nauk SSSR 127, 44–46 (1959).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © S.S. Marchenkov, 2006, published in Diskretnyi Analiz i Issledovanie Operatsii, Ser. 1, 2006, Vol. 13, No. 3, pp. 27–39.
Rights and permissions
About this article
Cite this article
Marchenkov, S.S. A criterion for positive completeness in ternary logic. J. Appl. Ind. Math. 1, 481–488 (2007). https://doi.org/10.1134/S1990478907040114
Received:
Issue Date:
DOI: https://doi.org/10.1134/S1990478907040114