Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator

DOI10.1007/s11225-012-9460-5zbMath1273.03178MaRDI QIDQ1935561

Hiroki Takamura

Publication date: 18 February 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9460-5

zbMATH Keywords

discriminator variety; substructural logic; residuated lattice; EDPC; equational definable principal congruences; semisimple variety

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G25: Other algebras related to logic

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

08B99: Varieties

Related Items

Expansions of dually pseudocomplemented Heyting algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of varieties with equationally definable principal congruences. II
• Residuated lattices. An algebraic glimpse at substructural logics
• On the structure of varieties with equationally definable principal congruences. IV
• On the structure of varieties with equationally definable principal congruences. III
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• On the structure of varieties with equationally definable principal congruences. I
• Semisimple varieties of modal algebras
• Minimal varieties of residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES