Abstract
Basic algebras are a generalization of MV-algebras, also including orthomodular lattices and lattice effect algebras. A pre-ideal of a basic algebra is a non-empty subset that is closed under the addition ⊕ and downwards closed with respect to the underlying order. In this paper, we study the pre-ideal lattices of algebras in a particular subclass of basic algebras which are closer to MV-algebras than basic algebras in general. We also prove that finite members of this subclass are exactly finite MV-algebras.
Similar content being viewed by others
References
Botur, M.: An example of a commutative basic algebra which is not an MV-algebra. Math. Slovaca 60, 171–178 (2010)
Botur, M., Halaš, R.: Finite commutative basic algebras are MV-algebras J. Mult.-Valued Log. Soft Comput. 14, 69–80 (2007)
Botur, M., Halaš, R.: Complete commutative basic algebras. Order 24, 89–105 (2007)
Botur, M., Halaš, R.: Commutative basic algebras and non-associative fuzzy logics. Arch. Math. Log. 48, 243–255 (2009)
Chajda, I., Halaš, R., Kühr, J.: Many-valued quantum algebras. Algebra Univers. 60, 63–90 (2009)
Chajda, I., Kolařík, M.: Independence of axiom system of basic algebras. Soft Comput. 13, 41–43 (2009)
Chajda, I., Kühr, J.: On filters and congruences in basic algebras (2011, submitted)
Dvurečenskij, A., Pulmannová, S.: New Trends in Quantum Structures. Kluwer, Dordrecht (2000)
Pulmannová, S., Vinceková, E.: Congruences and ideals in lattice effect algebras as basic algebras. Kybernetika 45, 1030–1039 (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Czech Government Research Project MSM6198959214, by the ESF Project CZ.1.07/2.3.00/20.0051, and by the Palacký University Grants PrF2010008 and PrF2011022.
Rights and permissions
About this article
Cite this article
Krňávek, J., Kühr, J. Pre-ideals of Basic Algebras. Int J Theor Phys 50, 3828–3843 (2011). https://doi.org/10.1007/s10773-011-0928-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-011-0928-2