A categorical quantum logic

DOI10.1017/S0960129506005275zbMATH Open1099.03059DBLPjournals/mscs/AbramskyD06WikidataQ57006644 ScholiaQ57006644MaRDI QIDQ5482271FDOQ5482271

Samson Abramsky, Ross Duncan

Publication date: 28 August 2006

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

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

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)

Cited In (14)

• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• Quivers, quasi-quantum groups and finite tensor categories.
• Wave-particle duality and the objectiveness of ``true and ``false
• Finite Majid Algebras Over the Klein Group
• Correlated knowledge: an epistemic-logic view on quantum entanglement
• Foundation for quantum computing
• Compact inverse categories
• Can a Quantum Computer Run the von Neumann Architecture?
• Symmetry, compact closure and dagger compactness for categories of convex operational models
• Classical logic and quantum logic with multiple and common lattice models
• A logic for quantum register measurements
• Title not available (Why is that?)
• A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
• 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)