Skip to main content
SpringerLink
Log in

Finitely generated varieties of distributive effect algebras

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

Lattice-ordered effect algebras generalize both MV-algebras and orthomodular lattices. In this paper, finitely generated varieties of distributive lattice effect algebras are axiomatized, and for any positive integer n, the free n-generator algebras in these varieties are described.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Berman, J.: The structure of free algebras. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups, and Universal Algebra. NATO Science Series II, vol. 207, pp. 47–76. Springer, Dordrecht (2005)

  2. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra: The Millennium Edition. http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf

  3. Chajda I., Halaš R.: Varieties of lattice effect algebras generated by four-element members. Acta Sci. Math. (Szeged) 74, 49–64 (2008)

    MathSciNet  MATH  Google Scholar 

  4. Chajda I., Halaš R., Kühr J.: Many-valued quantum algebras. Algebra Universalis 60, 63–90 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Chajda I., Halaš R., Kühr J.: Every effect algebra can be made into a total algebra. Algebra Universalis 61, 139–150 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Trends in Logic, vol. 7. Kluwer, Dordrecht (2000)

  7. Dvurečenskij, A., Pulmannová, S.: New Trends in Quantum Structures. Kluwer, Dordrecht/Ister Science, Bratislava (2000)

  8. Foulis D., Bennett M.K.: Effect algebras and unsharp quantum logics. Found. Phys. 24, 1331–1352 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gispert J., Mundici D.: MV-algebras: a variety for magnitudes with archimedean units. Algebra Universalis 53, 7–43 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  10. Greechie R.J., Foulis D., Pulmannová S.: The centrum of an effect algebra. Order 12, 91–106 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  11. Kôpka, F.: D-posets of fuzzy sets. Tatra Mt. Math. Publ. 1, 83–87 (1992)

    Google Scholar 

  12. Kôpka, F., Chovanec, F.: D-posets. Math. Slovaca 44, 21–34 (1994)

    Google Scholar 

  13. Pulmannová S., Vinceková E.: Congruences and ideals in lattice effect algebras as basic algebras. Kybernetika 45, 1030–1039 (2009)

    MathSciNet  MATH  Google Scholar 

  14. Riečanová Z.: Subalgebras, intervals and central elements of generalized effect algebras. Internat. J. Theoret. Phys. 38, 3209–3220 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  15. Riečanová Z.: Generalization of blocks for D-lattices and lattice-ordered effect algebras. Internat. J. Theoret. Phys. 39, 231–237 (2000)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Algebra and Geometry, Faculty of Science, Palacký University in Olomouc, 17. listopadu 12, CZ-77146, Olomouc, Czech Republic

    Ivan Chajda & Jan Kühr

Authors
  1. Ivan Chajda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Kühr
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Kühr.

Additional information

Presented by S. Pulmannova.

This work has been supported by the ESF project CZ.1.07/2.3.00/20.0051 Algebraic Methods in Quantum Logic.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chajda, I., Kühr, J. Finitely generated varieties of distributive effect algebras. Algebra Univers. 69, 213–229 (2013). https://doi.org/10.1007/s00012-013-0228-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-013-0228-1

2010 Mathematics Subject Classification

Key words and phrases

Search

Navigation