Perfect MV-algebras and their logic

DOI10.1007/s10485-007-9069-4zbMath1123.06006OpenAlexW1978955535MaRDI QIDQ2642577

Lawrence Peter Belluce, Brunella Gerla, Antonio Di Nola

Publication date: 17 August 2007

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9069-4

zbMATH Keywords

localizationMV-algebraŁukasiewicz logicperfect MV-algebras

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items

The variety generated by all the ordinal sums of perfect MV-chains ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ Involutive symmetric Gödel spaces, their algebraic duals and logic ⋮ Gödel spaces and perfect MV-algebras ⋮ Perfect Pavelka logic ⋮ Localization of PMV-algebras ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ MV-modules of fractions ⋮ Representation of perfect and local MV-algebras ⋮ Representation of MV-algebras by regular ultrapowers of \([0,1\)] ⋮ Topological characterization of filter topological MV-algebras ⋮ Abelian \(\ell\)-groups with strong unit and perfect MV-algebras ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

Cites Work

• Unnamed Item
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Local MV-algebras
• Algebraic foundations of many-valued reasoning
• The going up and going down theorems in MV-algebras and abelian \(l\)-groups
• 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
• Yosida Type Representation for Perfect MV‐Algebras
• A weak completeness theorem for infinite valued first-order logic