Abstract: The theory of direct decomposition of a centrally orthocomplete effect algebra into direct summands of various types utilizes the notion of a type-determining (TD) set. A pseudo-effect algebra (PEA) is a (possibly) noncommutative version of an effect algebra. In this article we develop the basic theory of centrally orthocomplete PEAs, generalize the notion of a TD set to PEAs, and show that TD sets induce decompositions of centrally orthocomplete PEAs into direct summands.
Recommendations
Cites work
- scientific article; zbMATH DE number 3889596 (Why is no real title available?)
- scientific article; zbMATH DE number 3115145 (Why is no real title available?)
- scientific article; zbMATH DE number 3144746 (Why is no real title available?)
- scientific article; zbMATH DE number 4070975 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 3277955 (Why is no real title available?)
- scientific article; zbMATH DE number 3198867 (Why is no real title available?)
- Algebraic Analysis of Many Valued Logics
- Any orthocomplemented complete modular lattice is a continuous geometry
- Around the Relative Center Property in Orthomodular Lattices
- Asymptoticity and semimodularity in projection lattices
- Centrally orthocomplete effect algebras
- Dimension Theory in Complete Orthocomplemented Weakly Modular Lattices
- Direct decompositions of orthomodular lattices
- Effect algebras and unsharp quantum logics.
- Filters and supports in orthoalgebras
- Jordan algebras of self-adjoint operators
- Orthocomplete effect algebras
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Projections in Banach algebras
- Quantum logic and partially ordered Abelian groups
- Quantum physics and classical physics -- in the light of quantum logic
- Regularity in quantum logic
- STATES, UNIFORMITIES AND METRICS ON LATTICE EFFECT ALGEBRAS
- Sharp elements in effect algebras
- The Interpretation of Quantum Mechanics and the Measurement Process
- The Quantum Theory of Measurement
- The center of an effect algebra
- The lattice of quasivarieties of lattices
- The lattice theoretic background of the dimension theory of operator algebras
Cited in
(14)- ν-Types for Effects and Freshness Analysis
- Hereditary \(C^\ast\)-subalgebra lattices
- Type decomposition of a pseudoeffect algebra
- A direct product decomposition of QMV algebras
- Hull mappings and dimension effect algebras
- Pseudo effect algebras are algebras over bounded posets
- Synaptic algebras as models for quantum mechanics
- Type directed compilation of row-typed algebraic effects
- Hull determination and type decomposition for a generalized effect algebra
- Dimension theory for generalized effect algebras.
- Type-decomposition of a synaptic algebra
- The center of a generalized effect algebra.
- Centrally orthocomplete effect algebras
- Type decomposition in posets
This page was built for publication: Type-decomposition of an effect algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535623)
