Semisimples in varieties of commutative integral bounded residuated lattices

DOI10.1007/S11225-016-9655-2zbMATH Open1417.06005OpenAlexW2297069902MaRDI QIDQ332072FDOQ332072

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

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

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)

Cites Work

• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• Algebraizable logics
• Title not available (Why is that?)
• Universal algebra. Fundamentals and selected topics
• 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
• Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
• Semisimplicity and the discriminator in bounded BCK-algebras
• Maximal residuated lattices with lifting Boolean center

Cited In (8)

• Subdirectly irreducible residuated semilattices and positive universal classes
• Title not available (Why is that?)
• Minimal varieties of residuated lattices
• On semiconic idempotent commutative residuated lattices
• Semicomplements in lattices of varieties
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term

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)