Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts

DOI10.1007/S00500-010-0683-YzbMath1276.06003OpenAlexW2028438177MaRDI QIDQ422484

José Patricio Díaz Varela, Diego N. Castaño, Antoni Torrens Torrell

Publication date: 16 May 2012

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-010-0683-y

zbMATH Keywords

Heyting algebrassubvarietiesfree algebrasbounded BCK-algebrasresiduated lattices

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Varieties of lattices (06B20) Free lattices, projective lattices, word problems (06B25)

Related Items (2)

Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Boolean representation of bounded BCK-algebras
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• An algebraic approach to the disjunction property of substructural logics
• Basic hoops: an algebraic study of continuous t-norms
• Logics without the contraction rule
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Glivenko like theorems in natural expansions of BCK-logic

This page was built for publication: Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts