You are not currently logged in.
Access JSTOR through your library or other institution:
Semisimple Varieties of Modal Algebras
Tomasz Kowalski and Marcus Kracht
Studia Logica: An International Journal for Symbolic Logic
Vol. 83, No. 1/3, Special Issue in Memory of Willem Johannes Blok (Jun. - Aug., 2006), pp. 351-363
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016809
Page Count: 13
You can always find the topics here!Topics: Algebra, Mathematical transitivity, Mathematical congruence, Modal logic, Mathematical theorems, Signatures, Algebraic conjugates, Equivalential logic, Logical theorems, Deduction theorem
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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  (based on joint work by the two authors) but the proof was fatally flawed.
Studia Logica: An International Journal for Symbolic Logic © 2006 Springer