## Quantifiers for quantum logic

*Heunen, Chris*;

- Subject: Mathematics - Category Theory | Mathematics - Logic | 03G12 | 03G30 | Quantum Physicsarxiv: Mathematics::Category Theory | Computer Science::Logic in Computer Science | Mathematics::Logic

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of catego... View more

- References (12)
- Similar Research Results (1) publicationQuantum Logic in Dagger Kernel Categories (2011)80%
- Metrics

Share - Bookmark

- Download from