Abstract
We study the equivalence relations between functional clones which are based on the coincidence of their quantifier-free formal subsets of the corresponding universal algebras.
Similar content being viewed by others
References
Post E. L., “The two-valued iterative systems of mathematical logic,” Ann. Math. Stud., no. 5, 1–122 (1942).
Yanov Yu. I. and Muchnik A. A., “On the existence of k-valued closed classes without a finite basis,” Dokl. Akad. Nauk SSSR, vol. 127, no. 1, 144–146 (1959).
Bulatov M. V., “Finite sublattices in the lattice of clones,” Algebra and Logic, vol. 34, no. 4, 287–306 (1994).
Rosenberg I. G., “Über die funktionale Vollstandigkeit in dem mehrvertigen Logiken von mehrren Verandlichen auf endlichen Mengen,” Rozpravy Cs. Akademie Ved., Ser. Math. Nat. Sci., vol. 80, 3–93 (1970).
Marchenkov S. S., “On closed classes of self-dual functions of multivalued logics,” in: Problems of Cybernetics. Vol. 36 [Russian], Nauka, Moscow, 1979, 5–22.
Malcev I. A. and Tugylbayeva B. G., “Congruences on the subclones of the rank 3 Burle clone containing no creative functions,” Sib. Math. J., vol. 49, no. 5, 860–873 (2008).
Denecke K. and Malcev I. A., “Separation of clones by means of hyperidentities,” Sib. Math. J., vol. 35, no. 2, 280–285 (1994).
Denecke K., Malcev I. A., and Reschke M., “On separation of Boolean clones by means of hyperidentities,” Sib. Math. J., vol. 36, no. 5, 902–916 (1995).
Plotkin B. and Zhitomirski G., “Some logical invariants of algebras and logical relations between algebras,” Algebra i Analiz, vol. 19, no. 5, 214–245 (2007).
Plotkin B., “Unityped algebras,” Proc. of the Steklov Inst. Math., vol. 278, no. 1, 91–115 (2012).
Daniyarova E. Yu., Myasnikov A. G., and Remeslennikov V. N., “Algebraic Geometry over Algebraic Structures,” submitted to VINITI, no..
Pinus A. G., “On some of logical closures on universal algebras,” Sib. Elektron. Mat. Izv., vol. 17, 698–703 (2015).
Pinus A. G., “Algebraically equivalent clones,” Algebra and Logic, vol. 55, no. 6, 501–506 (2016).
Pinus A. G., “Conditional terms and their applications in algebra and computation theory,” Russian Math. Surveys, vol. 56, no. 4, 649–686 (2001).
Pinus A. G., “Characterization of conditionally termable functions,” Sib. Math. J., vol. 38, no. 1, 136–139 (1997).
Pinus A. G., “Dimension of functional clones, and the metric on its collection,” Sib. Elektron. Mat. Izv., vol. 13, 366–374 (2016).
Author information
Authors and Affiliations
Corresponding author
Additional information
Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 58, No. 4, pp. 864–869, July–August, 2017
Rights and permissions
About this article
Cite this article
Pinus, A.G. On the logical equivalence of functional clones. Sib Math J 58, 672–675 (2017). https://doi.org/10.1134/S0037446617040139
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446617040139