Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
From MaRDI portal
Publication:1337605
DOI10.1007/BF01057937zbMath0812.06010MaRDI QIDQ1337605
Publication date: 10 November 1994
Published in: Studia Logica (Search for Journal in Brave)
coproductsvarietysubdirect productscategorical equivalenceamalgamationperfect MV-algebraabelian lattice-groupChang's algebra
Special categories (18B99) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Ordered structures (06F99) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (64)
Priestley duality for MV-algebras and beyond ⋮ Lexicographic effect algebras ⋮ Commutative rings whose ideals form an MV-algebra ⋮ MV-algebras as sheaves of \(\ell\)-groups on fuzzy topological spaces ⋮ On the geometric theory of local MV-algebras ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ Riesz decomposition properties and the lexicographic product of po-groups ⋮ When the lexicographic product of two po-groups has the Riesz decomposition property ⋮ The lexicographic product of po-groups and \(n\)-perfect pseudo effect algebras ⋮ On a new construction of pseudo BL-algebras ⋮ How Do $$\ell $$-Groups and Po-Groups Appear in Algebraic and Quantum Structures? ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ 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 ⋮ \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. II: One-to-one correspondence ⋮ Kites and representations of pseudo MV-algebras ⋮ Gödel spaces and perfect MV-algebras ⋮ Perfect GMV-Algebras ⋮ Semifields and a theorem of Abhyankar ⋮ Lexicographic pseudo effect algebras ⋮ Localization of PMV-algebras ⋮ Equational characterization of all varieties of MV-algebras ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ The going up and going down theorems in MV-algebras and abelian \(l\)-groups ⋮ One chain generated varieties of MV-algebras ⋮ On \(n\)-perfect GMV-algebras ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ MV-modules of fractions ⋮ Pseudo MV-algebras and lexicographic product ⋮ New torsion theory in unital abelian ℓ-groups ⋮ Representation of perfect and local MV-algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Symmetric MV-Algebras ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Rota's Fubini lectures: the first problem ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Unnamed Item ⋮ Perfect effect algebras and spectral resolutions of observables ⋮ PerfectMV-Algebras andl-Rings ⋮ A variety containing EMV-algebras and Pierce sheaves of EMV-algebras ⋮ Abelian \(\ell\)-groups with strong unit and perfect MV-algebras ⋮ On the Convergence with Fixed Regulator in Residuated Structures ⋮ Convergence in perfect MV-algebras ⋮ Exploring Infinitesimal Events through MV-algebras and non-Archimedean States ⋮ On some classes of state-morphism MV-algebras ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ State-morphism MV-algebras ⋮ Expanding lattice ordered abelian groups to Riesz spaces ⋮ The spectrum problem for abelian \(\ell\)-groups and MV-algebras ⋮ Spectral resolutions and observables in \(n\)-perfect MV-algebras ⋮ Observables on perfect MV-algebras ⋮ The annihilator of fuzzy subgroups ⋮ Boolean products of BL-algebras ⋮ Boolean dominated MV-algebras ⋮ Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ Lexicographic MV-algebras and lexicographic states. ⋮ A categorical equivalence for product algebras ⋮ Some classes of pseudo-BL algebras ⋮ Varieties of BL-algebras ⋮ Representations of monadic MV-algebras ⋮ Frames and MV-algebras ⋮ ALGEBRAIC EXPANSIONS OF LOGICS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Local MV-algebras
- Free lattice-ordered Abelian groups
- Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Super-Łukasiewicz propositional logics
- Duality Theorems for Finitely Generated Vector Lattices
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
This page was built for publication: Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
