Abstract
A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we determine all subdirectly irreducible Kleene-Stone algebras, and describe the free Kleene-Stone algebra on a finite set of generators as a product of certain free Kleene algebras endowed with a Stone negation.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balbes, R. andDwinger, P.,Distributive Lattices, U. of Missouri Press, Columbia, MO, 1974.
Berman, J. andBlok, W.,The Fraser-Horn and Apple properties, Trans. AMS302 (1987), 427–465.
Berman, J. andMukaidono, M.,Enumerating fuzzy switching functions and free Kleene algebras, Comps. and Maths. with Appls.10 (1984), 25–35.
Epstein, G. andMukaidono, M.,The elements of the free Kleene and Stone algebra on one generator, Bulletin of the Multiple-valued Logic Technical Committee, IEEE Computer Society6 (1985), 10.
Epstein, G. andMukaidono, M.,Some properties of Kleene-Stone algebras, Proceedings of the 17th international symposium on multiple-valued logic, 1987, pp. 5–7.
Gratzer, G. andSchmidt, E. T.,On a problem of M. H. Stone, Acta Math. Acad. Sci. Hungar.8 (1957), 455–460.
Guzmán, F. andSquier, C.,Subdirectly irreducible and free Kleene-Stone algebras, Bull. Multiple-valued Logic Tech. Comm.12 (1991), 1.
Ribenboim, P.,Characterization of the sup-complement in a distributive lattice with least element, Summa Brasil. Math.2 (1949), 43–49.
Romanowska, A.,Subdirectly irreducible pseudocomplemented DeMorgan algebras, Algebra Universalis12 (1981), 70–75.
Sankappanavar, H. P.,Heyting algebras with dual pseudocomplementation, Pacific J. Math.117 (1985), 341–349.
Sankappanavar, H. P.,Principal congruences of pseudocomplemented DeMorgan algebras, Zeitchr. f. math. Logik und Grundlagen d. Math.33 (1987), 3–11.
Takagi, N. andMukaidono, M.,Kleene-Stone logic functions, Proceedings of the 20th international symposium on multiple-valued logic, 1990, pp. 93–100.
Takagi, N. andMukaidono, M.,Fundamental properties of Kleene-Stone logic functions, Proceedings of the 21st international symposium on multiple-valued logic, 1991, pp. 63–70.
Varlet, J.,A regular variety of type 〈2, 2, 1, 1, 0, 0〉, Algebra Universalis2 (1972), 218–223.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Guzmán, F., Squier, C.C. Subdirectly irreducible and free Kleene-Stone algebras. Algebra Universalis 31, 266–273 (1994). https://doi.org/10.1007/BF01236522
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01236522