Abstract
The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set {0, 1, 2} and taking values in the set {0,1} with the property that the restrictions of its functions to the set {0, 1} constitutes a closed class of Boolean functions. We consider all classes whose restriction closure is either the set of all functions of two-valued logic or the set T a of functions preserving \({a, a\in\{0, 1\}}\). In each of these cases, we find a finite total equivalence system, construct a canonical type for formulas, and present a complete algorithm for determining whether any two formulas are equivalent.
Similar content being viewed by others
References
Post, E.L.: Two-valued iterative systems of mathematical logic. Annals of Mathematical Studies, vol. 5, no. 122. Princeton University Press, Princeton (1941)
Lyndon R.C.: Identities in two-valued calculi. Trans. Am. Math. Soc. 71(3), 457 (1951)
Lyndon R.C.: Identities in finite algebras. Proc. Am. Math. Soc. 5(1), 8 (1954)
Vishin V.V.: Some examples of varieties of semigroups. Donetsk Ac. Sc. 150(4), 719 (1963)
Murskii, V.L.: Examples of varieties of semigroups. Math. Notes Ac. Sc. USSR 3(6), 423 (1968, english)
Lau, D.: Function Algebras on Finite Sets, vol. 688. Springer, Rostok (2006)
Novi Sad Algebraic Conference. http://sites.dmi.rs/events/2013/nsac2013/
Willard, R.: The finite basis problem. In: Contributions to General Algebra. Heyn, Klagenfurt 15, 199 (2004)
Bodnartchuk, V.G., Kaluznin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras 1–2. Kibernitika. Kiev 3, 1 (1969)
Geiger, D.: Closed systems of functions and predicates. Pac. J. Math. 27, 95 (1968)
Pöschel, R.: A general Galois theory for operations and relations and concrete characterization of related algebraic structures. Akademie der Wissenschaften der DDR Institut für Mathematik. Berlin, report 1 (1980)
Kayser, D.: The Place of Logic in Reasoning. Logica Universalis, SP, vol. 4. Birkhäuser Verlag, Basel, pp. 225–239 (2010)
Author information
Authors and Affiliations
Corresponding author
Additional information
To my Mother and faithful TA
The research was made under influence of the course “Closed classes of Boolean logic” on Faculty of Mechanics and Mathematics, Lomonosov Moscow State University.
Rights and permissions
About this article
Cite this article
Makarov, I. Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions. Log. Univers. 9, 1–26 (2015). https://doi.org/10.1007/s11787-015-0117-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-015-0117-9