A characterization of MV-algebras free over finite distributive lattices
From MaRDI portal
Publication:938236
DOI10.1007/s00153-008-0084-4zbMath1148.06006OpenAlexW2069967356MaRDI QIDQ938236
Publication date: 18 August 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0084-4
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A characterization of the free \(n\)-generated MV-algebra
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Barycentric subdivisions
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- Schauder bases in Banach spaces of continuous functions
- Metamathematics of fuzzy logic
- An algorithmic desingularization of 3-dimensional toric varieties
- Algebraic foundations of many-valued reasoning
- Minimal generating system, essential divisors and \(G\)-desingularisation of toric varieties
- Vector lattices freely generated by distributive lattices
- A geometric proof of the completeness of the Łukasiewicz calculus
- The Lebesgue state of a unital abelian lattice-ordered group
This page was built for publication: A characterization of MV-algebras free over finite distributive lattices