Interpreting Quantum Parallelism by Sequents
Abstract
We introduce an interpretation of quantum superposition in predicative sequent calculus, in the framework of basic logic. Then we introduce a new predicative connective for the entanglement. Our aim is to represent quantum parallelism in terms of logical proofs.
- Publication:
-
International Journal of Theoretical Physics
- Pub Date:
- December 2010
- DOI:
- Bibcode:
- 2010IJTP...49.3022B
- Keywords:
-
- Quantum computational logics;
- Basic logic;
- Sequent calculus;
- Paraconsistent logics;
- Entanglement;
- Quantum computational speed up;
- Random variables;
- First order variables;
- Holistic interpretation