Studia Logica 83 (1-3):407 - 423 (2006)
|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||residuated lattice involutive residuated lattice module over a residuated lattice minimal variety|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Bjarni Jónsson & Constantine Tsinakis (2004). Products of Classes of Residuated Structures. Studia Logica 77 (2):267 - 292.
Sándor Jenei & Franco Montagna (2002). A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica 70 (2):183-192.
D. Castaño, J. P. Díaz Varela & A. Torrens (2011). Free-Decomposability in Varieties of Pseudocomplemented Residuated Lattices. Studia Logica 98 (1-2):223-235.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
Peter Jipsen (2004). From Semirings to Residuated Kleene Lattices. Studia Logica 76 (2):291 - 303.
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3):425-445.
Nikolaos Galatos (2004). Equational Bases for Joins of Residuated-Lattice Varieties. Studia Logica 76 (2):227 - 240.
J. L. Castiglioni & H. J. San Martín (2011). Compatible Operations on Residuated Lattices. Studia Logica 98 (1-2):203-222.
J. L. Castiglioni, M. Menni & M. Sagastume (2008). On Some Categories of Involutive Centered Residuated Lattices. Studia Logica 90 (1):93 - 124.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads2 ( #245,904 of 722,786 )
Recent downloads (6 months)0
How can I increase my downloads?