FAQ
logo of Jagiellonian University in Krakow

Minimal Subvarieties of Involutive Residuated Lattices

Publication date: 15.12.2011

Reports on Mathematical Logic, 2011, Number 46, pp. 17-27

https://doi.org/10.4467/20842589RM.11.002.0280

Authors

Daisuke Souma
All publications →

Download full text

Titles

Minimal Subvarieties of Involutive Residuated Lattices

Abstract

It is known that classical logic CL is the single maximal consistent logic over intuitionistic logic Int, which is moreover the single one even over the substructural logic FLew. On the other hand, if we consider maximal consistent logics over a weaker logic, there may be uncountablymany of them. Since the subvariety lattice of a given variety V of residuated lattices is dually isomorphic to the lattice of logics over the corresponding substructural logic L(V), the number of maximal consistent logics is equal to the number of minimal subvarieties of the subvariety lattice of V. Tsinakis and Wille have shown that there exist uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. In the present paper, we will show that while there exist uncountably many atoms in the subvariety lattice of the variety of bounded representable involutive residuated lattices with mingle axiom x2 ≤ x, only two atoms exist in the subvariety lattice of the variety of bounded representable involutive residuated lattices with the idempotency x = x2.

References

Download references

[1] N. Galatos, Minimal varieties of residuated lattices, Algebra Universalis 52 (2005), pp. 215– 239.

[2] N.Galatos, P.Jipsen, T. Kowalski and H.Ono, Residuated Lattices: an algebraic glimpse at substructural logics, Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier Science, 2007.

[3] N. Galatos and J. G. Raftery, Adding involution to residuated structures, Studia Logica 77 (2004), pp. 181–207.

[4] P. Jipsen and C. Tsinakis, A survey of residuated lattices, Ordered Algebraic Structures, Kluwer, Dordrecht, 2002, pp. 19–56.

[5] C. Tsinakis and A. M. Wille, Minimal varieties of involutive residuated lattices, Studia Logica 83 (2006), pp. 407–423.

Information

Information: Reports on Mathematical Logic, 2011, Number 46, pp. 17-27

Article type: Original article

Published at: 15.12.2011

Article status: Open

Licence: None

Percentage share of authors:

Daisuke Souma (Author) - 100%

Article corrections:

-

Publication languages:

English

View count: 1711

Number of downloads: 940

<p>Minimal Subvarieties of Involutive Residuated Lattices</p>

Minimal Subvarieties of Involutive Residuated Lattices

cytuj

pobierz pliki

RIS BIB ENDNOTE