A categorical quantum logic
From MaRDI portal
Publication:5482271
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
(27)- 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
- 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.
- 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
- 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)