A categorical quantum logic

DOI10.1017/S0960129506005275MaRDI QIDQ5482271zbMATH OpenDBLPWikidataFDO

Authors Samson Abramsky, Ross Duncan

Publication date 28 August 2006

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

Full work available at URL https://doi.org/10.1017/S0960129506005275

zbMATH Keywords

quantum mechanicslinear logicproof netnormalization strongly compact closed category

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Quantum categories for quantum logic
• A link between quantum logic and categorical quantum mechanics
• Quantum logic in dagger kernel categories
• Quantum logic in dagger kernel categories
• Mixing categories and modal logics in the quantum setting
• Axiomatization of quantum logics
• A categorical framework for quantum theory
• scientific article; zbMATH DE number 7471668
• Quantum logic in intuitionistic perspective
• Concrete quantum logics

Cited in

(30)

• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• Graphical reasoning in compact closed categories for quantum computation
• Quivers, quasi-quantum groups and finite tensor categories.
• Wave-particle duality and the objectiveness of ``true and ``false
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• The structure of partial isometrics
• Mixing categories and modal logics in the quantum setting
• Kindergarten quantum mechanics -- lecture notes
• A link between quantum logic and categorical quantum mechanics
• Programming with quantum communication
• Quantum logic in dagger kernel categories
• Foundation for quantum computing
• Can a quantum computer run the von Neumann architecture?
• Compact inverse categories
• Finite Majid algebras over the Klein group.
• Entanglement of sections: the pushout of entangled and parameterized quantum information
• Dagger compact closed categories and completely positive maps (extended abstract)
• Duality for the logic of quantum actions
• Symmetry, compact closure and dagger compactness for categories of convex operational models
• New directions in categorical logic, for classical, probabilistic and quantum logic
• Compositional quantum logic
• Classical logic and quantum logic with multiple and common lattice models
• Strongly compact closed semantics
• A logic for quantum register measurements
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• The dagger lambda calculus
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• Quantum logic in dagger kernel categories
• The quantum monadology
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus

This page was built for publication: A categorical quantum logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482271)