Semisimplicity, EDPC and discriminator varieties of residuated lattices
Studia Logica 77 (2):255 - 265 (2004)
| Abstract | We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesD. 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.
Constantine Tsinakis & Annika M. Wille (2006). Minimal Varieties of Involutive Residuated Lattices. Studia Logica 83 (1-3):407 - 423.
Tomasz Kowalski & Marcus Kracht (2006). Semisimple Varieties of Modal Algebras. Studia Logica 83 (1-3):351 - 363.
Nikolaos Galatos (2004). Equational Bases for Joins of Residuated-Lattice Varieties. Studia Logica 76 (2):227 - 240.
H. P. Sankappanavar (2011). Expansions of Semi-Heyting Algebras I: Discriminator Varieties. Studia Logica 98 (1-2):27-81.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
Stanley Burris, Ralph McKenzie & Matthew Valeriote (1991). Decidable Discriminator Varieties From Unary Varieties. Journal of Symbolic Logic 56 (4):1355-1368.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
C. J. van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1-3).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,092 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
