The logic of quantum programs

Abstract

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various linear operators. As an example we sketch an analysis of the teleportation protocol.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

The principle of excluded middle in quantum logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.
Quantum logic, realism, and value definiteness.Allen Stairs - 1983 - Philosophy of Science 50 (4):578-602.
From intuitionistic logic to dynamic operational quantum logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Quantum Disjunctive Facts.James H. McGrath - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:76 - 86.
Quantum Logic and the Interpretation of Quantum Mechanics.R. I. G. Hughes - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:55 - 67.

Analytics

Added to PP
2009-01-28

Downloads
182 (#99,815)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Sonja Smets
University of Amsterdam
Alexandru Baltag
University of Amsterdam

References found in this work

Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.

Add more references