Abstract
It is known that the variety of commutative basic algebras, the variety of MV-algebras, the variety of orthomodular lattices and hence also the variety of Boolean algebras are proper subvarieties of the variety of basic algebras. In the paper several possible axiomatizations of the variety of basic algebras are provided. The variety of symmetric basic algebras is introduced and shown to be a proper subvariety of the variety of commutative basic algebras, and whose members have the underlying lattices distributive. It is proved that commutative basic algebras can be described as residuated \(l\)-groupoids.
Similar content being viewed by others
References
Beran L (1985) Orthomodular lattices, algebraic approach. Reidel, Dordrecht
Bělohlávek R (2002) Fuzzy relational systems, foundations and principles. Kluwer/Plenum, Dordrecht/New York
Botur M (2010) An example of a commutative basic algebra which is not an MV-algebra. Math Slovaca 60:171–178
Botur M, Chajda I, Halaš R (2010) Are basic algebras residuated structures? Soft Comput 14:251–255
Botur M, Halaš R (2009) Commutative basic algebras and non-associative fuzzy logics. Arch Math Logic 48:243–255
Botur M, Halaš R (2008) Finite commutative basic algebras are MV-effect algebras. J Mult Value Log Soft Comput 14:69–80
Chajda I (2011) Basic algebras and their applications, an overview. Contributions to general algebra, vol 20, pp 1–10
Chajda I, Halaš R, Kühr J (2005) Distributive lattices with sectionally antitone involutions. Acta Sci Math Szeged 71:19–23
Chajda I, Halaš R, Kühr J (2007) Semilattice structures. Heldermann Verlag, Lemgo
Chajda I, Halaš R, Kühr J (2009) Many-valued quantum algebras. Algebr Universalis 60:63–90
Chajda I, Kolařík M (2009) Independence of axiom system of basic algebras. Soft Comput 13:41–43
Kolařík M (2013) Independence of the axiomatic system for MV-algebras. Math Slovaca 63(1):1–4
Padmanabhan R, Quackenbush RW (1973) Equational theories of algebras with distributive congruences. Proc Am Math Soc 41:373–377
Pixley AF (1979) Characterizations of arithmetical varieties. Algebr Universalis 9:87–98
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Spada.
This work is supported by the project Algebraic Methods in Quantum Logic, ESF No.: CZ.1.07/2.3.00/20.0051.
Rights and permissions
About this article
Cite this article
Chajda, I., Halaš, R. On varieties of basic algebras. Soft Comput 19, 261–267 (2015). https://doi.org/10.1007/s00500-014-1365-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-014-1365-y