Semisimples in varieties of commutative integral bounded residuated lattices
From MaRDI portal
Publication:332072
DOI10.1007/S11225-016-9655-2zbMath1417.06005OpenAlexW2297069902MaRDI QIDQ332072
Publication date: 27 October 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-016-9655-2
BCK-algebras, BCI-algebras (06F35) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Varieties of lattices (06B20)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Residuated lattices. An algebraic glimpse at substructural logics
- Semisimplicity and the discriminator in bounded BCK-algebras
- Maximal residuated lattices with lifting Boolean center
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
- Semisimplicity, EDPC and discriminator varieties of residuated lattices
- On the structure of hoops
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Bounded BCK-algebras and their generated variety
- Algebraizable logics
This page was built for publication: Semisimples in varieties of commutative integral bounded residuated lattices