A link between quantum logic and categorical quantum mechanics
From MaRDI portal
Publication:732298
DOI10.1007/s10773-008-9853-4zbMath1180.81006OpenAlexW2062251184MaRDI QIDQ732298
Publication date: 9 October 2009
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10773-008-9853-4
General and philosophical questions in quantum theory (81P05) General mathematical topics and methods in quantum theory (81Q99) Clifford algebras, spinors (15A66) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)
Related Items
Categories with fuzzy sets and relations ⋮ Wigner's theorem for an infinite set ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ The logic of bundles ⋮ Quantum axiomatics: topological and classical properties of state property systems ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Dynamics in the decompositions approach to quantum mechanics ⋮ Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories ⋮ Compositional Quantum Logic ⋮ Compact Hausdorff spaces with relations and Gleason spaces ⋮ On quantum vs. classical probability
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coherence for compact closed categories
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Filters and supports in orthoalgebras
- Tensor products of orthoalgebras
- Parametrization of self-dual codes by orthogonal matrices
- Orthomodularity of decompositions in a categorical setting
- Abstract Physical Traces
- Tensor Product of Difference Posets
- Decompositions in Quantum Logic
- Algebra and Coalgebra in Computer Science
