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

DOI10.1007/s00500-010-0683-yzbMath1276.06003MaRDI 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 algebras; subvarieties; free algebras; bounded BCK-algebras; residuated lattices

Mathematics Subject Classification ID

06F35: BCK-algebras, BCI-algebras

06D20: Heyting algebras (lattice-theoretic aspects)

03G25: Other algebras related to logic

06B20: Varieties of lattices

06B25: Free lattices, projective lattices, word problems

Related Items

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