A discrete representation of free MV-algebras

DOI10.1002/MALQ.200910036MaRDI QIDQ3566946zbMATH OpenOpenAlexFDO

Authors Antonio Di Nola, R. Grigolia, Luca Spada

Publication date 10 June 2010

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200910036

zbMATH Keywords

McNaughton functionfree MV-algebrafinite-valued logicŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35) Free algebras (08B20)

Recommendations

• Free MV_n-algebras
• A characterization of the free \(n\)-generated MV-algebra
• Note on the construction of free MV-algebras
• A characterization of MV-algebras free over finite distributive lattices
• Representation and reticulation by quotients of MV-algebras

Cites work

• A constructive proof of McNaughton's theorem in infinite-valued logic
• A discrete free MV-algebra over one generator
• A geometric proof of the completeness of the Łukasiewicz calculus
• A theorem about infinite-valued sentential logic
• Algebraic Analysis of Many Valued Logics
• Finitely generated free MV-algebras and their automorphism groups

Cited in

(4)

• A characterization of the free \(n\)-generated MV-algebra
• Representations of monadic MV-algebras
• Note on the construction of free MV-algebras
• MV-algebras freely generated by finite Kleene algebras.

This page was built for publication: A discrete representation of free MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3566946)