Strictly join irreducible varieties of residuated lattices

DOI10.1093/LOGCOM/EXAB059MaRDI QIDQ5028302zbMATH OpenOpenAlexFDO

Authors Paolo Agliano, Sara Ugolini

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2105.13920

zbMATH Keywords

basic hoopsHalldén completenesslattice of subvarietieslinear varietiesresiduated latticessubstructural logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Irreducible residuated semilattices and finitely based varieties
• Strictly join irreducible varieties of BL-algebras: the missing pieces
• Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
• Equational bases for joins of residuated-lattice varieties
• Products of classes of residuated structures

Cited in

(5)

• Equational bases for joins of residuated-lattice varieties
• Strictly join irreducible varieties of BL-algebras: the missing pieces
• Projectivity in (bounded) commutative integral residuated lattices
• FROM JOIN-IRREDUCIBLES TO DIMENSION THEORY FOR LATTICES WITH CHAIN CONDITIONS
• Tabular and pretabular varieties of MTL-algebras

This page was built for publication: Strictly join irreducible varieties of residuated lattices

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