Semisimplicity, EDPC and discriminator varieties of residuated lattices

DOI10.1023/B:STUD.0000037129.58589.0czbMath1062.06006OpenAlexW1993907347MaRDI QIDQ1770976

Tomasz Kowalski

Publication date: 7 April 2005

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

Full work available at URL: https://doi.org/10.1023/b:stud.0000037129.58589.0c

zbMATH Keywords

discriminator varietiesresiduated latticefull Lambek calculussemisimple varieties\({\mathbf {FL}}_{\mathbf{ew}}\)-algebraEDPC varieties

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)

Related Items

Semisimples in varieties of commutative integral bounded residuated lattices, Expansions of dually pseudocomplemented Heyting algebras, Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator, Structural and universal completeness in algebra and logic, New perspectives on semi-primal varieties, Semisimple varieties of modal algebras, Natural extensions and profinite completions of algebras, Inconsistency lemmas in algebraic logic, On a logico-algebraic approach to AGM belief contraction theory, Regular elements and Kolmogorov translation in residuated lattices, On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube., Fuzzy logics from substructural perspective, Semisimplicity and the discriminator in bounded BCK-algebras, A Note on Drastic Product Logic, Compatibly involutive residuated lattices and the Nelson identity