Skip to main content

The structure of finite commutative idempotent involutive residuated lattices


We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4


  1. 1.

    Anderson, A.R., Belnap, N.D., Jr.: Entailment. Volume I: The Logic of Relevance and Necessity. Princeton University Press, Princeton, London (1975)

    MATH  Google Scholar 

  2. 2.

    Chajda, I., Halaš, R., Kühr, J.: Semilattice structures, Research and exposition in mathematics, vol. 30. Heldermann, Lemgo (2007)

    MATH  Google Scholar 

  3. 3.

    Chen, W., Zhao, X.: The structure of idempotent residuated chains. Czechoslov. Math. J. 59(134), 453–479 (2009)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Chen, W., Zhao, X., Guo, X.: Conical residuated lattice-ordered idempotent monoids. Semigroup Forum 79(2), 244–278 (2009)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Dunn, J.M.: Algebraic completeness results for \(R\)-mingle and its extensions. J. Symb. Logic 35, 1–13 (1970)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Frink, O.: Representations of Boolean algebras. Bull. Am. Math. Soc. 47(10), 755–756 (1941)

    MathSciNet  Article  Google Scholar 

  7. 7.

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

    MATH  Google Scholar 

  8. 8.

    Gil-Férez, J., Jipsen, P., Metcalfe, G.: Structure theorems for idempotent residuated lattices. Algebra Univ. 81, 1–25 (2020)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Jenei, S.: Group-representation for even and odd involutive commutative residuated chains (2020). arXiv:1910.01404 (preprint)

  10. 10.

    Jenei, S.: The Hahn embedding theorem for a class of residuated semigroups. Stud. Log. 108, 1161–1206 (2020)

    MathSciNet  Article  Google Scholar 

  11. 11.

    McCune, W.: Prover9 and Mace4 (2005–2010).

  12. 12.

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

    MathSciNet  Article  Google Scholar 

  13. 13.

    Stanovský, D.: Commutative idempotent residuated lattices. Czechoslov. Math. J. 57, 191–200 (2007).

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Stone, M.H.: Topological representations of distributive lattices and Brouwerian logics. Časopis Pro Pěstování Mat. a Fysiky 67(1), 1–25 (1938).

  15. 15.

    Ward, M., Dilworth, R.: Residuated lattices. Trans. Am. Math. Soc. 45, 335–354 (1939)

    MathSciNet  Article  Google Scholar 

Download references


Some of the computations leading to our results have been obtained with the help of Prover9 and Mace4 [11]. The authors acknowledge the support of funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 689176.

We thank the anonymous referee for many useful remarks and suggestions that improved the manuscript.

Author information



Corresponding author

Correspondence to Peter Jipsen.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by N. Galatos.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jipsen, P., Tuyt, O. & Valota, D. The structure of finite commutative idempotent involutive residuated lattices. Algebra Univers. 82, 57 (2021).

Download citation


  • Residuated lattices
  • Substructural logics
  • Boolean algebras
  • Representations
  • Local finiteness

Mathematics Subject Classification

  • 06F05
  • 06F15
  • 03G10
  • 06B15
  • 06E75