Details
| Original language | English |
|---|---|
| Pages (from-to) | 407-423 |
| Number of pages | 17 |
| Journal | Studia logica |
| Volume | 83 |
| Issue number | 1-3 |
| Publication status | Published - Jun 2006 |
| Externally published | Yes |
Abstract
We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.
Keywords
- Involutive residuated lattice, Minimal variety, Module over a residuated lattice, Residuated lattice
ASJC Scopus subject areas
- Mathematics(all)
- Logic
- Arts and Humanities(all)
- History and Philosophy of Science
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Studia logica, Vol. 83, No. 1-3, 06.2006, p. 407-423.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Minimal varieties of involutive residuated lattices
AU - Tsinakis, C.
AU - Wille, A. M.
PY - 2006/6
Y1 - 2006/6
N2 - We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.
AB - We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.
KW - Involutive residuated lattice
KW - Minimal variety
KW - Module over a residuated lattice
KW - Residuated lattice
UR - http://www.scopus.com/inward/record.url?scp=33746106117&partnerID=8YFLogxK
U2 - 10.1007/s11225-006-8311-7
DO - 10.1007/s11225-006-8311-7
M3 - Article
AN - SCOPUS:33746106117
VL - 83
SP - 407
EP - 423
JO - Studia logica
JF - Studia logica
SN - 0039-3215
IS - 1-3
ER -