Abstract
Two-sorted invariant relations are used to describe all maximum subalgebras of the iterative algebra P2×P k —the arity-calibrated product of the algebras of Boolean functions and of functions of k-valued logic with k≥3. Functional completeness criteria are obtained for P2×P k and also for the system P2×...×P2×P k .
Similar content being viewed by others
Literature Cited
B. A. Romov, “Completeness of the functions of algebra of logic on a square and in the system Pk×Pl,” Kibernetika, No. 4, 9–14 (1987).
B. A. Romov, “A series of maximum subalgebras of direct products of algebras of finite-valued logics,” Kibernetika, No. 3, 11–16 (1989).
B. A. Romov, “On Post algebras of type F4 ∞,” Kibernetika, No. 4, 19–22 (1978).
I. Rosenberg, “Über die funktionale Vollständigkeit in den mehrwertigen Logiken,” Rozpravy Českoslov. Akad. Ved.,80, 3–93 (1970).
A. I. Mal'tsev, “Iterative algebras and Post varieties,” Algebra Logika,5, No. 2, 5–24 (1966).
P. M. Cohn, Universal Algebra, Harper and Row, New York (1965).
A. E. Bobrov, “Underdefined functions of multivalued logic,” in: Multivalued Elements and Structures [in Russian], Naukova Dumka, Kiev (1978), pp. 3–8.
V. N. Kotov and B. A. Romov, “Galois theory for relations,” in: Theoretical Cybernetics [in Russian], No. 1, Inst. Kiber. Akad. Nauk UkrSSR, Kiev (1970), pp. 3–26.
B. A. Romov, “On completeness problem in systems of many-valued functions,” in: 6th All-Union Conf. on Mathematical Logic [in Russian], Tbilissk. Gos. Univ., Tbilisi (1982), p. 157.
V. G. Bodnarchuk, L. A. Kaluzhnin, V. N. Kotov, and B. A. Romov, “Galois theory for Post algebras, I, II,” Kibernetika, No. 3, 1–9; No. 5, 1–10 (1969).
B. A. Romov, “On uniprimitive foundations of maximum Post subalgebras,” Kibernetika, No. 6, 21–30 (1971).
B. A. Romov, “Refinement of parameters for maximality of one series of uniprimitive permutation groups,” in: 17th All-Union Algebraic Conf. [in Russian], Inst. Mat. Akad. Nauk BSSR, Minsk (1983), p. 199.
Additional information
Translated from Kibernetika, No. 1, pp. 1–8, 16, January–February, 1991.
Rights and permissions
About this article
Cite this article
Romov, B.A. Functional completeness in P2×Pk . Cybern Syst Anal 27, 1–10 (1991). https://doi.org/10.1007/BF01068640
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068640