Semisimples in varieties of commutative integral bounded residuated lattices

DOI10.1007/S11225-016-9655-2MaRDI QIDQ332072zbMATH OpenOpenAlexFDO

Authors Antoni Torrens

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

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) BCK-algebras, BCI-algebras (06F35) Equational logic, Mal'tsev conditions (08B05) Varieties of lattices (06B20)

Recommendations

• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• The subvariety lattice for representable idempotent commutative residuated lattices
• scientific article; zbMATH DE number 2068682
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Minimal varieties of representable commutative residuated lattices

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• Algebraizable logics
• Bounded BCK-algebras and their generated variety
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
• Maximal residuated lattices with lifting Boolean center
• On the structure of hoops
• Residuated lattices. An algebraic glimpse at substructural logics
• Semisimplicity and the discriminator in bounded BCK-algebras
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Universal algebra. Fundamentals and selected topics
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term

Cited in

(8)

• Subdirectly irreducible residuated semilattices and positive universal classes
• On semiconic idempotent commutative residuated lattices
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Semicomplements in lattices of varieties
• scientific article; zbMATH DE number 2068682 (Why is no real title available?)
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• Minimal varieties of residuated lattices

Describes a project that uses

Uses Software

• Prover9
• Mace4

This page was built for publication: Semisimples in varieties of commutative integral bounded residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q332072)