Skip to main content
SpringerLink
Log in

Characterization of Quantum States in Predicative Logic

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

Abstract

We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations.

We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.

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.: Interpreting quantum parallelism by sequents. Int. J. Theor. Phys. 49, 3022–3029 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  2. Battilotti, G., Faggian, C.: Quantum logic and the cube of logics. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, new edn. Kluwer Academic, Dordrecht (2002). Chap. “Quantum Logic” (M.L. Dalla Chiara, R. Giuntini)

    Google Scholar 

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

  4. Jammer, M.: The Philosophy of Quantum Mechanics. Wiley, New York (1974)

    Google Scholar 

  5. Maietti, M.E.: Course of Logic for Computer Science. Lecture Notes in Logic. University of Padua, Padua (2010)

  6. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis, Napoli (1984)

    MATH  Google Scholar 

  7. 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 University Press, Oxford (2010)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Pure and Applied Mathematics, University of Padova, Padova, 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. Characterization of Quantum States in Predicative Logic. Int J Theor Phys 50, 3669–3681 (2011). https://doi.org/10.1007/s10773-011-0899-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10773-011-0899-3

Keywords

Search

Navigation