Semisimple varieties of modal algebras
Studia Logica 83 (1-3):351 - 363 (2006)
| Abstract | In this paper we show that a variety of modal algebras of finite type is semisimple iff it is discriminator iff it is both weakly transitive and cyclic. This fact has been claimed already in [4] (based on joint work by the two authors) but the proof was fatally flawed. | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesBruno Teheux (2007). A Duality for the Algebras of a Łukasiewicz N + 1-Valued Modal System. Studia Logica 87 (1):13 - 36.
Joel Berman & W. J. Blok (2004). Free Łukasiewicz and Hoop Residuation Algebras. Studia Logica 77 (2):153 - 180.
Sergio A. Celani (2011). Classical Modal De Morgan Algebras. Studia Logica 98 (1-2):251-266.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
Guram Bezhanishvili (2000). Varieties of Monadic Heyting Algebras. Part III. Studia Logica 64 (2):215-256.
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Tomasz Kowalski (2004). Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Studia Logica 77 (2):255 - 265.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,171 of 548,972 )Recent downloads (6 months)1 ( #63,511 of 548,972 )How can I increase my downloads? |
My notes
Discussion
