MV-pairs and states

DOI10.1007/S00500-008-0381-1MaRDI QIDQ2391234zbMATH OpenOpenAlexFDO

Authors Sylvia Pulmannová

Publication date 24 July 2009

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-008-0381-1

zbMATH Keywords

effect algebraMV-algebraMV-pairR-generated Boolean algebrastate

Mathematics Subject Classification ID

Quantum logic (03G12) MV-algebras (06D35) Other connections with logic and set theory (28E15)

Review text

An MV-pair is a pair \((B,G)\) of a Boolean algebra \(B\) and a group \(G\) of automorphisms of \(B\) such that certain conditions are fulfilled. It was known that, for a given MV-pair \((B,G)\), the quotient \(B/{\sim_G}\) is an MV-algebra, and that every MV-algebra is of such type. The author modifies the definition of an MV-pair to the notion of an MV*-pair in such a way that the first property of the definition characterizes the situation when \(B/{\sim_G}\) is an effect algebra and the second property of the definition guarantees the MV-algebra structure of \(B/{\sim_G}\). Some relations between states on MV-algebras and corresponding R-generated Boolean algebras are studied.

Recommendations

• MV-pairs and state operators
• The category of MV-pairs
• A representation theorem for MV-algebras
• Ideals in MV-pairs
• State-morphism MV-algebras

Cites work

• A New Proof of the Completeness of the Lukasiewicz Axioms
• A representation theorem for MV-algebras
• Boolean algebras R-generated by MV-effect algebras
• Congruences in partial abelian semigroups
• D-lattices
• Effect algebras and unsharp quantum logics.
• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 3679888 (Why is no real title available?)
• scientific article; zbMATH DE number 1332104 (Why is no real title available?)
• scientific article; zbMATH DE number 566410 (Why is no real title available?)
• scientific article; zbMATH DE number 1077017 (Why is no real title available?)
• Ideals in MV-pairs
• Quotients of partial abelian monoids
• Riesz ideals in generalized effect algebras and in their unitizations

Cited in

(5)

• Boolean algebras R-generated by MV-effect algebras
• MV-pairs and state operators
• The category of MV-pairs
• Normal and complete Boolean ambiguity algebras and MV-pairs
• A representation theorem for MV-algebras

This page was built for publication: MV-pairs and states

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