Skip to main content
SpringerLink
Log in

Interpreting Quantum Parallelism by Sequents

  • Published:
International Journal of Theoretical Physics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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)

  2. Battilotti, G.: Logic, computation and quantum theories of mind (Italian) Humana Mente, 5th issue (2008). www.humana-mente.it

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Compositional and holistic quantum computational semantics. Nat. Comput. (2006)

  6. Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21, 467 (1982)

    Article  MathSciNet  Google Scholar 

  7. Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1–102 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  8. 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)

    Google Scholar 

  9. Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb. Log. 65, 979–1013 (2000)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Florence, via Bolognese 52, Florence, Italy

    Giulia Battilotti

Authors
  1. Giulia Battilotti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Giulia Battilotti.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Battilotti, G. Interpreting Quantum Parallelism by Sequents. Int J Theor Phys 49, 3022–3029 (2010). https://doi.org/10.1007/s10773-009-0099-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-009-0099-6

Keywords

Search

Navigation