Decomposability of free Łukasiewicz implication algebras

DOI10.1007/s00153-006-0023-1zbMath1110.03063OpenAlexW2058143059MaRDI QIDQ862351

José Patricio Díaz Varela, Antoni Torrens Torrell

Publication date: 24 January 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0023-1

zbMATH Keywords

BCK-algebrasMV-algebrasfree algebrasimplicative filtersdirect decomposabilityfactor congruences

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) MV-algebras (06D35) Free algebras (08B20)

Related Items (3)

Factor congruences in BCK-algebras ⋮ Implicative subreducts of MV-algebras: free and weakly projective objects ⋮ Free Łukasiewicz implication algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the quasivariety of BCK-algebras and its subvarieties
• Free Łukasiewicz and hoop residuation algebras
• Decomposability of free Tarski algebras
• Algebraic Analysis of Many Valued Logics
• On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
• Super-Łukasiewicz implicational logics

This page was built for publication: Decomposability of free Łukasiewicz implication algebras