Semisimple varieties of modal algebras
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.
|Collections||ANU Research Publications|
|01_Kowalski_Semisimple_varieties_of_modal_2006.pdf||512.71 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.