Note on the construction of free MV-algebras
From MaRDI portal
Publication:976751
DOI10.1007/s00012-010-0037-8zbMath1196.06006OpenAlexW1991565429MaRDI QIDQ976751
Publication date: 16 June 2010
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-010-0037-8
lattice-ordered groupstrong unitorder unit\(l\)-grouppartially ordered abelian groupMcNaughton functionfree MV-algebra\(l\)-isomorphism\(o\)-homomorphismfree \(l\)-groupMcNaughton Theorem
MV-algebras (06D35) Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (2)
Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
Cites Work
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Groupes et anneaux reticules
- Free lattice-ordered Abelian groups
- Algebraic Analysis of Many Valued Logics
- A constructive proof of McNaughton's theorem in infinite-valued logic
- On Free MV-Algebras
- A theorem about infinite-valued sentential logic
This page was built for publication: Note on the construction of free MV-algebras