Compositional Quantum Logic
From MaRDI portal
Publication:4922071
DOI10.1007/978-3-642-38164-5_3zbMath1264.03128arXiv1302.4900MaRDI QIDQ4922071
Aleks Kissinger, Bob Coecke, Chris Heunen
Publication date: 28 May 2013
Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1302.4900
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12: Quantum logic
Related Items
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, Categories of relations as models of quantum theory, A mathematical theory of resources, Categories of quantum and classical channels, Physical properties as modal operators in the topos approach to quantum mechanics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Daggers, kernels, Baer *-semigroups, and orthomodularity
- Picturing classical and quantum Bayesian inference
- Categories of quantum and classical channels
- Categorical formulation of finite-dimensional quantum algebras
- A link between quantum logic and categorical quantum mechanics
- Quantum logic in dagger kernel categories
- Cartesian bicategories. I
- Coherence for compact closed categories
- Quantum logic in algebraic approach
- Relative Frobenius algebras are groupoids
- The logic of quantum mechanics
- Phase Groups and the Origin of Non-locality for Qubits
- Dagger Compact Closed Categories and Completely Positive Maps
- Axiomatic Description of Mixed States From Selinger's CPM-construction
- Idempotents in Dagger Categories
- H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- Categories for the Practising Physicist
- The logic of quantum mechanics - Take II
- Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
- Rewriting Measurement-Based Quantum Computations with Generalised Flow
- The Compositional Structure of Multipartite Quantum Entanglement
- Quantum and Classical Structures in Nondeterminstic Computation
- Characterization of hilbert spaces by orthomodular spaces
- Operational Statistics. I. Basic Concepts