A categorical quantum logic

DOI10.1017/S0960129506005275zbMath1099.03059WikidataQ57006644 ScholiaQ57006644MaRDI QIDQ5482271

Samson Abramsky, Ross Duncan

Publication date: 28 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

quantum mechanics; linear logic; proof net; normalization strongly compact closed category

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

Finite Majid Algebras Over the Klein Group, Symmetry, compact closure and dagger compactness for categories of convex operational models, Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus, Classical logic and quantum logic with multiple and common lattice models, Quivers, quasi-quantum groups and finite tensor categories., Correlated knowledge: an epistemic-logic view on quantum entanglement, Wave-particle duality and the objectiveness of ``true and ``false, A logic for quantum register measurements, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations, De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure, Can a Quantum Computer Run the von Neumann Architecture?