A discrete representation of free MV-algebras

DOI10.1002/MALQ.200910036zbMATH Open1193.06011OpenAlexW2090879686MaRDI QIDQ3566946FDOQ3566946

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

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

zbMATH Keywords

McNaughton functionfree MV-algebrafinite-valued logicŁukasiewicz logic

Mathematics Subject Classification ID

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

Cites Work

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

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)