Skip to main content
SpringerLink
Log in

The subvariety lattice for representable idempotent commutative residuated lattices

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

RICRL denotes the variety of commutative residuated lattices which have an idempotent monoid operation and are representable in the sense that they are subdirect products of linearly ordered algebras. It is shown that the subvariety lattice of RICRL is countable, despite its complexity and in contrast to several varieties of closely related algebras.

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

Access this article

Log in via an institution

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Similar content being viewed by others

References

  1. Blok W., van Alten C.: The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48, 253–271 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. Davey B.A.: On the lattice of subvarieties. Houston J. Math. 5, 183–192 (1979)

    MathSciNet  MATH  Google Scholar 

  3. Galatos, N.: Varieties of Residuated Lattices, PhD Thesis, Vanderbilt University (2003)

  4. Galatos N.: Minimal varieties of residuated lattices. Algebra Universalis 52, 215–239 (2005)

    Article  MathSciNet  Google Scholar 

  5. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier Science (2007)

  6. Hart J., Rafter L., Tsinakis C.: The structure of commutative residuated lattices. Internat. J. Algebra Comput. 12, 509–524 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  7. Higman G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc. 3, 326–336 (1952)

    Article  MathSciNet  Google Scholar 

  8. Horčík, R.: Minimal varieties of representable commutative residuated lattices, Studia Logica, to appear.

  9. Köhler, P.: Varieties of Brouwerian algebras, Mitt. Math. Sem. Giessen No. 116 (1975)

  10. Komori Y.: Super-Łukasiewicz propositional logics. Nagoya Math. J. 84, 119–133 (1981)

    MathSciNet  MATH  Google Scholar 

  11. Olson J.S.: Free representable idempotent commutative residuated lattices. Internat. J. Algebra Comput. 18, 1365–1394 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Olson J.S., Raftery J.G.: Positive Sugihara monoids. Algebra Universalis 57, 75–99 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  13. Olson J.S., Raftery J.G.: Residuated structures, concentric sums and finiteness conditions. Comm. Algebra 36, 3632–3670 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  14. Raftery J.G.: Representable idempotent commutative residuated lattices. Trans. Amer. Math. Soc. 359, 4405–4427 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Wroński A.: The degree of completeness of some fragments of the intuitionistic propositional logic. Reports on Mathematical Logic 2, 55–62 (1974)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Norwich University, 158 Harmon Dr., Northfield, VT, 05663, USA

    Jeffrey S. Olson

Authors
  1. Jeffrey S. Olson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jeffrey S. Olson.

Additional information

Presented by J. Raftery.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Olson, J.S. The subvariety lattice for representable idempotent commutative residuated lattices. Algebra Univers. 67, 43–58 (2012). https://doi.org/10.1007/s00012-012-0167-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-012-0167-2

2010 Mathematics Subject Classification

Keywords and phrases

Search

Navigation