PL EN


Preferences help
enabled [disable] Abstract
Number of results
2011 | 46 |
Article title

Minimal Subvarieties of Involutive Residuated Lattices

Authors
Content
Title variants
Languages of publication
PL
Abstracts
PL
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.
Keywords
PL
Publisher
Year
Volume
46
Physical description
Dates
published
2011
online
07 - 07 - 2015
Contributors
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2011-volume-46-article-2878
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.