Free Łukasiewicz implication algebras

DOI10.1007/s00153-008-0067-5zbMath1146.03041OpenAlexW2338172136MaRDI QIDQ937211

José Patricio Díaz Varela

Publication date: 20 August 2008

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

Full work available at URL: https://doi.org/10.1007/s00153-008-0067-5

zbMATH Keywords

MV-algebrasfree algebrasMcNaughton functionsWajsberg algebrasŁukasiewicz implication algebras

Mathematics Subject Classification ID

MV-algebras (06D35) Free algebras (08B20) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (2)

Implicative subreducts of MV-algebras: free and weakly projective objects ⋮ Quasivarieties and congruence permutability of Łukasiewicz implication algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decomposability of free Łukasiewicz implication algebras
• On the quasivariety of BCK-algebras and its subvarieties
• Free Łukasiewicz and hoop residuation algebras
• Geometrical methods in Wajsberg hoops
• Algebraic Analysis of Many Valued Logics
• Super-Łukasiewicz implicational logics
• Varieties of MV-algebras
• A geometric proof of the completeness of the Łukasiewicz calculus

This page was built for publication: Free Łukasiewicz implication algebras