|
|||||
|
|
Interpreting Quantum Parallelism by Sequents |
|
| Authors: | Giulia Battilotti |
| Affiliation: | 1.Department of Philosophy,University of Florence,Florence,Italy |
| 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |