Semisimplicity, EDPC and discriminator varieties of residuated lattices
From MaRDI portal
Publication:1770976
DOI10.1023/B:STUD.0000037129.58589.0czbMath1062.06006MaRDI 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 varieties; residuated lattice; full Lambek calculus; semisimple varieties; \({\mathbf {FL}}_{\mathbf{ew}}\)-algebra; EDPC varieties
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
06B20: Varieties of lattices
Related Items
A Note on Drastic Product Logic, Inconsistency lemmas in algebraic logic, Semisimples in varieties of commutative integral bounded residuated lattices, Natural extensions and profinite completions of algebras, Semisimplicity and the discriminator in bounded BCK-algebras, Expansions of dually pseudocomplemented Heyting algebras, Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator, 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, Compatibly involutive residuated lattices and the Nelson identity, Semisimple varieties of modal algebras