Interpreting Quantum Parallelism by Sequents
Tóm tắt
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.
Tài liệu tham khảo
Battilotti, G.: A paraconsistent and predicative logical calculus in the framework of quantum computation. Logical considerations on efficient computational strategies, related to semantical aspects. Ph.D. Thesis, University of Florence (2009)
Battilotti, G.: Logic, computation and quantum theories of mind (Italian) Humana Mente, 5th issue (2008). www.humana-mente.it
Battilotti, G., Faggian, C.: Quantum logic and the cube of logics. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, new edition, vol. 6. Kluwer Academic, Dordrecht (2002). Chap. “Quantum Logic” (M.L. Dalla Chiara, R. Giuntini)
Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Quantum computational logics. A survey. In: Hendricks, V.F., Malinowski, J. (eds.) Trends in Logic: 50 Years of Studia Logica, pp. 213–255. Kluwer Academic, Dordrecht (2003)
Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Compositional and holistic quantum computational semantics. Nat. Comput. (2006)
Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467 (1982)
Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)
Maietti, M.E., Sambin, G.: Toward a minimalist foundation for constructive mathematics. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford Logic Guides, vol. 48, pp. 91–114. Oxford University Press, London (2005)
Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb. Log. 65, 979–1013 (2000)