Type-decomposition of an effect algebra

DOI10.1007/S10701-009-9344-3zbMATH Open1221.81024arXiv1006.2795OpenAlexW3102506394MaRDI QIDQ535623FDOQ535623

Authors: David J. Foulis, Sylvia Pulmannová 

Publication date: 13 May 2011

Published in: Foundations of Physics (Search for Journal in Brave)

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.

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

Recommendations

• Type decomposition of a pseudoeffect algebra
• Centrally orthocomplete effect algebras
• Type decomposition in posets
• The exocenter and type decomposition of a generalized pseudoeffect algebra
• The center of a generalized effect algebra.

zbMATH Keywords

Boolean algebraeffect algebraorthomodular latticeatomcentral elementdirect-sum decompositiontypes I, II, III

Mathematics Subject Classification ID

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

Cites Work

• Algebraic Analysis of Many Valued Logics
• Effect algebras and unsharp quantum logics.
• Orthomodular structures as quantum logics. Transl. from the Slovak
• The center of an effect algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Quantum Theory of Measurement
• Title not available (Why is that?)
• Filters and supports in orthoalgebras
• Title not available (Why is that?)
• Projections in Banach algebras
• Title not available (Why is that?)
• The Interpretation of Quantum Mechanics and the Measurement Process
• Orthocomplete effect algebras
• STATES, UNIFORMITIES AND METRICS ON LATTICE EFFECT ALGEBRAS
• Any orthocomplemented complete modular lattice is a continuous geometry
• Around the Relative Center Property in Orthomodular Lattices
• Centrally orthocomplete effect algebras
• Jordan algebras of self-adjoint operators
• The lattice theoretic background of the dimension theory of operator algebras
• Title not available (Why is that?)
• The lattice of quasivarieties of lattices
• Regularity in quantum logic
• Quantum physics and classical physics -- in the light of quantum logic
• Asymptoticity and semimodularity in projection lattices
• Quantum logic and partially ordered Abelian groups
• Dimension Theory in Complete Orthocomplemented Weakly Modular Lattices
• Sharp elements in effect algebras
• Direct decompositions of orthomodular lattices

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)