Advertisement

Soft Computing

, Volume 20, Issue 8, pp 3139–3151 | Cite as

Semisimple varieties of implication zroupoids

  • Juan M. Cornejo
  • Hanamantagouda P. Sankappanavar
Foundations

Abstract

It is a well known fact that Boolean algebras can be defined using only implication and a constant. In fact, in 1934, Bernstein (Trans Am Math Soc 36:876–884, 1934) gave a system of axioms for Boolean algebras in terms of implication only. Though his original axioms were not equational, a quick look at his axioms would reveal that if one adds a constant, then it is not hard to translate his system of axioms into an equational one. Recently, in 2012, the second author of this paper extended this modified Bernstein’s theorem to De Morgan algebras (see Sankappanavar, Sci Math Jpn 75(1):21–50, 2012). Indeed, it is shown in Sankappanavar (Sci Math Jpn 75(1):21–50, 2012) that the varieties of De Morgan algebras, Kleene algebras, and Boolean algebras are term-equivalent, respectively, to the varieties, \(\mathbf {DM}\), \(\mathbf {KL}\), and \(\mathbf {BA}\) whose defining axioms use only the implication \(\rightarrow \) and the constant 0. The fact that the identity, herein called (I), occurs as one of the two axioms in the definition of each of the varieties \(\mathbf {DM}\), \(\mathbf {KL}\) and \(\mathbf {BA}\) motivated the second author of this paper to introduce, and investigate, the variety \(\mathbf {I}\) of implication zroupoids, generalizing De Morgan algebras. These investigations are continued by the authors of the present paper in Cornejo and Sankappanavar (Implication zroupoids I, 2015), wherein several new subvarieties of \(\mathbf {I}\) are introduced and their relationships with each other and with the varieties studied in Sankappanavar (Sci Math Jpn 75(1):21–50, 2012) are explored. The present paper is a continuation of Sankappanavar (Sci Math Jpn 75(1):21–50, 2012) and Cornejo and Sankappanavar (Implication zroupoids I, 2015). The main purpose of this paper is to determine the simple algebras in \(\mathbf {I}\). It is shown that there are exactly five (nontrivial) simple algebras in \(\mathbf {I}\). From this description we deduce that the semisimple subvarieties of \(\mathbf {I}\) are precisely the subvarieties of the variety generated by these simple I-zroupoids and that they are locally finite. It also follows that the lattice of semisimple subvarieties of \(\mathbf {I}\) is isomorphic to the direct product of a 4-element Boolean lattice and a 4-element chain.

Notes

Acknowledgments

J.M. Cornejo wants to thank the institutional support of Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). The authors wish to express their indebtedness to the anonymous referee for her/his useful suggestions that helped improve the final presentation of this paper. The authors also wish to acknowledge that McCune (2005–2010) was a useful tool during the research phase of this paper.

Compliance with ethical standards

Conflict of interest

The authors declare that they have no conflict of interest regarding the publication of this paper.

References

  1. Balbes R, Dwinger PH (1974) Distributive lattices. University of Missouri Press, ColumbiaMATHGoogle Scholar
  2. Bernstein BA (1934) A set of four postulates for Boolean algebras in terms of the implicative operation. Trans. Am. Math. Soc. 36:876–884MATHGoogle Scholar
  3. Bialynicki-Birula A, Rasiowa H (1957) On the representation of quasi-Boolean algebras. Bull. Acad. Pol. Sci. C1(III5):259–261MathSciNetMATHGoogle Scholar
  4. Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York (the free, corrected version 2012 is available online as a PDF file at http://math.uwaterloo.ca/~snburris)
  5. Cornejo JM, Sankappanavar HP (2015) Implication zroupoids I. Algebra Universalis (in press)Google Scholar
  6. Cornejo JM, Sankappanavar HP (2016) Order in implication zroupoids. Studia Logica. doi: 10.1007/s11225-015-9646-8
  7. Kalman J (1958) Lattices with involution. Trans. Am. Math. Soc. 87:485–491MathSciNetCrossRefMATHGoogle Scholar
  8. McCune W (2005–2010) Prover9 and Mace4. http://www.cs.unm.edu/mccune/prover9/
  9. Rasiowa H (1974) An algebraic approach to non-classical logics. North-Holland, AmsterdamMATHGoogle Scholar
  10. Sankappanavar HP (2012) De Morgan algebras: new perspectives and applications. Sci Math Jpn 75(1):21–50MathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Juan M. Cornejo
    • 1
    • 2
  • Hanamantagouda P. Sankappanavar
    • 3
  1. 1.Departamento de MatemáticaUniversidad Nacional del SurBahía BlancaArgentina
  2. 2.INMABB, CONICETBahía BlancaArgentina
  3. 3.Department of MathematicsState University of New YorkNew PaltzUSA

Personalised recommendations