Functional representation of finitely generated free algebras in subvarieties of BL-algebras

DOI10.1016/j.apal.2019.102757zbMath1476.03087OpenAlexW2989027395MaRDI QIDQ2007879

Manuela Busaniche, José Luis Castiglioni, Noemí Lubomirsky

Publication date: 22 November 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11336/129830

zbMATH Keywords

free algebrasBL-algebrasWajsberg hoops

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Varieties of lattices (06B20)

Cites Work

• Unnamed Item
• Advanced Łukasiewicz calculus and MV-algebras
• The free \(n\)-generated BL-algebra
• Metamathematics of fuzzy logic
• Semi-normal forms and functional representation of product fuzzy logic.
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Geometry of Robinson consistency in Łukasiewicz logic
• Free algebras in varieties of BL-algebras generated by a chain.
• A theorem about infinite-valued sentential logic
• A note on functions associated with Gödel formulas

This page was built for publication: Functional representation of finitely generated free algebras in subvarieties of BL-algebras