Semisimplicity, EDPC and discriminator varieties of residuated lattices
From MaRDI portal
Publication:1770976
DOI10.1023/B:STUD.0000037129.58589.0czbMath1062.06006OpenAlexW1993907347MaRDI QIDQ1770976
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
discriminator varietiesresiduated latticefull Lambek calculussemisimple varieties\({\mathbf {FL}}_{\mathbf{ew}}\)-algebraEDPC varieties
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)
Related Items (15)
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
This page was built for publication: Semisimplicity, EDPC and discriminator varieties of residuated lattices