Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
From MaRDI portal
Publication:1013998
DOI10.1007/s11083-008-9103-7zbMath1168.06006OpenAlexW1974524636MaRDI QIDQ1013998
Brunella Gerla, Antonio Di Nola, Lawrence Peter Belluce
Publication date: 24 April 2009
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11083-008-9103-7
Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (4)
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ Representation of perfect and local MV-algebras ⋮ Representation of MV-algebras by regular ultrapowers of \([0,1\)]
Cites Work
- Local algebras in the representation of MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Representation and reticulation by quotients of MV-algebras
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
- Algebraic foundations of many-valued reasoning
- Equational characterization of all varieties of MV-algebras
- The going up and going down theorems in MV-algebras and abelian \(l\)-groups
- Uniformly hyperarchimedean lattice-ordered groups
- Strong non-standard completeness for fuzzy logics
- Perfect MV-algebras and their logic
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Algebraic Analysis of Many Valued Logics
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Super-Łukasiewicz propositional logics
- Cyclic Elements in MV‐Algebras and Post Algebras
- A weak completeness theorem for infinite valued first-order logic
- Unnamed Item
- Unnamed Item
This page was built for publication: Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
