Semisimples in varieties of commutative integral bounded residuated lattices

DOI10.1007/S11225-016-9655-2zbMath1417.06005OpenAlexW2297069902MaRDI QIDQ332072

Antoni Torrens Torrell

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

zbMATH Keywords

residuated lattices\(k\)-radical varietiesradical termsemisimple and local residuated lattices

Mathematics Subject Classification ID

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

• Prover9
• Mace4

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