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

DOI10.1007/S11225-012-9460-5zbMath1273.03178OpenAlexW2071594204MaRDI 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 varietysubstructural logicresiduated latticeEDPCequational definable principal congruencessemisimple variety

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties (08B99)

Related Items (1)

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

This page was built for publication: Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator