Gödel spaces and perfect MV-algebras
From MaRDI portal
Publication:898780
DOI10.1016/j.jal.2015.05.001zbMath1380.06007OpenAlexW315585249MaRDI QIDQ898780
Revaz Grigolia, Antonio Di Nola
Publication date: 18 December 2015
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2015.05.001
Related Items
Riesz decomposition properties and the lexicographic product of po-groups, When the lexicographic product of two po-groups has the Riesz decomposition property, Representation of perfect and \(n\)-perfect pseudo effect algebras, Lexicographic pseudo MV-algebras, \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points, Involutive symmetric Gödel spaces, their algebraic duals and logic, Lexicographic pseudo effect algebras, Pseudo MV-algebras and lexicographic product, Observables on lexicographic effect algebras, Perfect effect algebras and spectral resolutions of observables, Spectral resolutions and observables in \(n\)-perfect MV-algebras, Observables on perfect MV-algebras, Sum of \(n\)-dimensional observables on MV-effect algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free products of unital \(\ell \)-groups and free products of generalized MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Prime spectra of lattice-ordered abelian groups
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
- Algebraic foundations of many-valued reasoning
- Pro-finite MV-spaces
- 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
- Varieties of MV-algebras
- Logic with truth values in A linearly ordered heyting algebra
- Representation of Distributive Lattices by means of ordered Stone Spaces
- A weak completeness theorem for infinite valued first-order logic
- Free products of lattice ordered groups
- MV-algebras in duality with labelled root systems