Coreflections in algebraic quantum logic

DOI10.1007/s10701-012-9654-8zbMath1259.81010OpenAlexW1980152963MaRDI QIDQ1929301

Jorik Mandemaker, Bart Jacobs

Publication date: 7 January 2013

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

Full work available at URL: https://doi.org/10.1007/s10701-012-9654-8

zbMATH Keywords

effect algebratensor productlimit and colimitpartial commutative monoid

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items

On block structures in quantum computation ⋮ Effect Algebras, Presheaves, Non-locality and Contextuality ⋮ Effect algebras, presheaves, non-locality and contextuality ⋮ The expectation monad in quantum foundations ⋮ Tensor topology ⋮ Tensor product of dimension effect algebras ⋮ From probability monads to commutative effectuses ⋮ Cohomology of Effect Algebras ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ Dijkstra and Hoare monads in monadic computation ⋮ Space in Monoidal Categories ⋮ Unnamed Item ⋮ Axioms for the category of Hilbert spaces and linear contractions ⋮ Probabilistic systems coalgebraically: a survey ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Unnamed Item ⋮ An effect-theoretic account of Lebesgue integration ⋮ Unnamed Item ⋮ The algebra of partial equivalence relations ⋮ Probabilities, distribution monads, and convex categories ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ A computer scientist’s reconstruction of quantum theory*

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The expectation monad in quantum foundations
• Effect algebras and unsharp quantum logics.
• Orthomodular structures as quantum logics. Transl. from the Slovak
• The transition to unigroups
• Categorical logic and type theory
• Tensor products of orthoalgebras
• Tensor Product of Difference Posets
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics

This page was built for publication: Coreflections in algebraic quantum logic