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
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