Semisimple varieties of modal algebras

T. Kowalski; M. Kracht

doi:10.1007/s11225-006-8308-2

Semisimple varieties of modal algebras

T. Kowalski^*, M. Kracht

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

14 Citations (Scopus)

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.

Original language	English
Pages (from-to)	351-363
Number of pages	13
Journal	Studia Logica
Volume	83
Issue number	1-3
DOIs	https://doi.org/10.1007/s11225-006-8308-2
Publication status	Published - Jun 2006

Access to Document

10.1007/s11225-006-8308-2

Cite this

@article{8c6c1c9e93dc43398c1d3dec11845790,

title = "Semisimple varieties of modal algebras",

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 = "Modal logic, Semisimple varieties",

author = "T. Kowalski and M. Kracht",

year = "2006",

month = jun,

doi = "10.1007/s11225-006-8308-2",

language = "English",

volume = "83",

pages = "351--363",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "1-3",

}

TY - JOUR

T1 - Semisimple varieties of modal algebras

AU - Kowalski, T.

AU - Kracht, M.

PY - 2006/6

Y1 - 2006/6

N2 - 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.

AB - 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.

KW - Modal logic

KW - Semisimple varieties

UR - http://www.scopus.com/inward/record.url?scp=33746174614&partnerID=8YFLogxK

U2 - 10.1007/s11225-006-8308-2

DO - 10.1007/s11225-006-8308-2

M3 - Article

SN - 0039-3215

VL - 83

SP - 351

EP - 363

JO - Studia Logica

JF - Studia Logica

IS - 1-3

ER -

Semisimple varieties of modal algebras

Abstract

Access to Document

Other files and links

Fingerprint

Cite this