Skip navigation
Skip navigation
The system will be down for maintenance between 8:00 and 8:15am on Thursday 13, December 2018

Semisimple varieties of modal algebras

Kowalski, Tomasz; Kracht, Marcus


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.

CollectionsANU Research Publications
Date published: 2006
Type: Journal article
Source: Studia Logica
DOI: 10.1007/s11225-006-8308-2


File Description SizeFormat Image
01_Kowalski_Semisimple_varieties_of_modal_2006.pdf512.71 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator