The following pages link to A categorical quantum logic (Q5482271):
Displaying 12 items.
- Symmetry, compact closure and dagger compactness for categories of convex operational models (Q358688) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- Quivers, quasi-quantum groups and finite tensor categories. (Q535188) (← links)
- Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
- Wave-particle duality and the objectiveness of ``true'' and ``false'' (Q2241464) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure (Q2864168) (← links)
- Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
- Finite Majid Algebras Over the Klein Group (Q5495292) (← links)
- Compact inverse categories (Q6612798) (← links)
