A representation theorem for MV-algebras

DOI10.1007/S00500-006-0100-8zbMATH Open1116.06013arXivmath/0602169OpenAlexW3099873196MaRDI QIDQ877761FDOQ877761

Authors: Gejza Jenča 

Publication date: 3 May 2007

Published in: Soft Computing (Search for Journal in Brave)

Abstract: An {em MV-pair} is a pair $(B,G)$ where $B$ is a Boolean algebra and $G$ is a subgroup of the automorphism group of $B$ satisfying certain conditions. Let $si{m}_G$ be the equivalence relation on $B$ naturally associated with $G$. We prove that for every MV-pair $(B,G)$, the effect algebra $B/si{m}_G$ is an MV- effect algebra. Moreover, for every MV-effect algebra $M$ there is an MV-pair $(B,G)$ such that $M$ is isomorphic to $B/si{m}_G$.

Full work available at URL: https://arxiv.org/abs/math/0602169

Recommendations

• The category of MV-pairs
• MV-pairs and states
• Visualization of effect algebras by automorphisms
• Ideals in MV-pairs
• Representations of MV-algebras by Hilbert-space effects

zbMATH Keywords

Boolean algebraMV-algebraMV-effect algebraMV-pairEffect algebra

Mathematics Subject Classification ID

Quantum logic (03G12) MV-algebras (06D35)

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Title not available (Why is that?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Effect algebras and unsharp quantum logics.
• Minimally generated Boolean algebras
• Boolean algebras R-generated by MV-effect algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quotients of partial abelian monoids
• Title not available (Why is that?)
• Quotients of partial abelian monoids and the Riesz decomposition property.
• Congruences in partial abelian semigroups
• Some ideal lattices in partial abelian monoids and effect algebras
• Extension of a distributive lattice to a Boolean ring
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

• Banaschewski’s theorem for generalized MV-algebras
• Representable autometrized algebra and MV algebra
• Normal and complete Boolean ambiguity algebras and MV-pairs
• MV-pairs and state operators
• Affine representations of \(\ell\)-groups and MV-algebras
• Ideals in MV-pairs
• States and synaptic algebras
• Title not available (Why is that?)
• Representation and reticulation by quotients of MV-algebras
• Algebras with inner MB-representation
• Boolean algebras R-generated by MV-effect algebras
• A set-theoretic proof of the representation of MV-algebras by sheaves
• Operators on MV-algebras and their representations.
• MV-pairs and states
• Commutative \(L\)-algebras and measure theory
• Representations of MV-algebras by Hilbert-space effects
• Representations of MV-algebras by sheaves
• Cantor–Bernstein Property for MV-Algebras
• Title not available (Why is that?)
• The category of MV-pairs
• Vector lattices in synaptic algebras

This page was built for publication: A representation theorem for MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877761)