Loomis-Sikorski theorem and Stone duality for effect algebras with internal state

DOI10.1016/J.FSS.2011.01.004zbMATH Open1235.06009arXiv1006.0503OpenAlexW2037990226MaRDI QIDQ549351FDOQ549351

Authors: David Buhagiar, Emmanuel Chetcuti, Anatolij Dvurečenskij 

Publication date: 15 July 2011

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Abstract: Recently Flaminio and Montagna, cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis--Sikorski Theorem for monotone $sigma$-complete effect algebras with internal state. In addition, we show that the category of divisible state-morphism effect algebras satisfying (RDP) and countable interpolation with an order determining system of states is dual to the category of Bauer simplices $Omega$ such that $partia{l}_{e}Omega$ is an F-space.

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

Recommendations

• Stone duality for \(R_0\)-algebras with internal states
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Stone Duality Type Theorems for MV-Algebras with Internal State
• The existence of states on effect algebras
• scientific article; zbMATH DE number 2236752
• Loomis-Sikorski theorem for monotone σ-complete effect algebras
• A state representation theorem of a class of effect algebras
• Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras
• scientific article; zbMATH DE number 6264674
• EQ-algebras with internal states

zbMATH Keywords

effect algebraRiesz decomposition propertyStone dualityChoquet simplexBauer simplexunital po-groupLoomis-Sikorski theoremstate-operator

Mathematics Subject Classification ID

Quantum logic (03G12) MV-algebras (06D35) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15) Lattices and duality (06D50)

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Title not available (Why is that?)
• Effect algebras and unsharp quantum logics.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Theory of Representation for Boolean Algebras
• State-morphism MV-algebras
• Averaging the truth-value in Łukasiewicz logic
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Title not available (Why is that?)
• Title not available (Why is that?)
• MV-algebras with internal states and probabilistic fuzzy logics
• On varieties of MV-algebras with internal states
• Rings of Continuous Functions in Which Every Finitely Generated Ideal is Principal
• Measures on F-Spaces
• On the representation of 𝜎-complete Boolean algebras
• Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups
• Loomis-Sikorski representation of monotone \(\sigma\)-complete effect algebras
• Title not available (Why is that?)
• Stone Duality Type Theorems for MV-Algebras with Internal State
• A Dixmier-Schaefer-Zhang theorem for operator algebras
• Title not available (Why is that?)
• On Approximating Concave Functions by Convex Functions

Cited In (9)

• Loomis-Sikorski theorem for monotone σ-complete effect algebras
• Effect algebras with state operator
• MV-pairs and state operators
• States on quantum structures versus integrals
• The lattice and simplex structure of states on pseudo effect algebras
• On the Loomis-Sikorski theorem for MV-algebras with internal state
• Convexity-preserving properties of partial binary operations with respect to filter convex structures on effect algebras
• Interval convexity of scale effect algebras
• Stone Duality Type Theorems for MV-Algebras with Internal State

This page was built for publication: Loomis-Sikorski theorem and Stone duality for effect algebras with internal state

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