Contemporary · a field of logic
Quantum Logic
The non-distributive logic of quantum propositions, and the logical structure of quantum computation and information.
- The problem
- If quantum measurements obey a different algebra of propositions, does the quantum world need its own logic?
- The turning point
- Birkhoff & von Neumann: the lattice of quantum propositions fails distributivity, and the classical law breaks.
- An open question
- Is quantum logic the genuine logic of nature, or a bookkeeping device for Hilbert-space structure?
The Canon
- The Logic of Quantum Mechanics
To study it
- Quantum Computation and Quantum Information
- Quantum Logic