A characterization of the free \(n\)-generated MV-algebra

DOI10.1007/s00153-004-0273-8zbMath1094.06010OpenAlexW1966265902MaRDI QIDQ818513

Daniele Mundici

Publication date: 21 March 2006

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

Full work available at URL: https://doi.org/10.1007/s00153-004-0273-8

zbMATH Keywords

MV-algebrasingular homology grouppartition of unity\(\Gamma\)-functorMcNaughton functionfree MV-algebrastandard triangulation of the \(n\)-cube

Mathematics Subject Classification ID

Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) MV-algebras (06D35) Many-valued logic (03B50) Singular homology and cohomology theory (55N10)

Related Items (6)

The Lebesgue state of a unital abelian lattice-ordered group ⋮ A characterization of MV-algebras free over finite distributive lattices ⋮ Unnamed Item ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Unnamed Item ⋮ Lattice-ordered Abelian groups and Schauder bases of unimodular fans

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Schauder bases in Banach spaces of continuous functions
• Groupes et anneaux reticules
• Extending Stone duality to multisets and locally finite MV-algebras.
• Algebraic foundations of many-valued reasoning
• A constructive proof of McNaughton's theorem in infinite-valued logic

This page was built for publication: A characterization of the free \(n\)-generated MV-algebra