Semisimple Varieties of Modal Algebras

Studia Logica 83 (1-3):351-363 (2006)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Varieties Of Tense Algebras.Tomasz Kowalski - 1998 - Reports on Mathematical Logic:53-95.
Modal Tarski algebras.S. Celani - 2005 - Reports on Mathematical Logic:113-126.
On the degree of incompleteness of modal logics.W. Blok - 1978 - Bulletin of the Section of Logic 7 (4):167-172.
Pretabular Varieties Of Equivalential Algebras.Tomasz Kowalski - 1999 - Reports on Mathematical Logic:3-10.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.


Added to PP

37 (#420,900)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Kowalski
La Trobe University

References found in this work

Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.

Add more references