A categorical quantum logic
From MaRDI portal
Publication:5482271
DOI10.1017/S0960129506005275zbMath1099.03059WikidataQ57006644 ScholiaQ57006644MaRDI QIDQ5482271
Publication date: 28 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (11)
Symmetry, compact closure and dagger compactness for categories of convex operational models ⋮ 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 ⋮ Correlated knowledge: an epistemic-logic view on quantum entanglement ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Classical logic and quantum logic with multiple and common lattice models ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Quivers, quasi-quantum groups and finite tensor categories. ⋮ A logic for quantum register measurements ⋮ Finite Majid Algebras Over the Klein Group ⋮ De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
This page was built for publication: A categorical quantum logic
