Baltag, Alexandru and Smets, Sonja (2004) The Logic of Quantum Programs. UNSPECIFIED. (In Press)

Preview

PDF Baltag-Smets2.pdf Download (186kB)

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Other
Creators:	Creators Email ORCID Baltag, Alexandru Smets, Sonja
Keywords:	Quantum Information Theory, Quantum Mechanics, Dynamic Logic, Quantum Logic
Subjects:	Specific Sciences > Computer Science
Depositing User:	Sonja Smets
Date Deposited:	22 Jun 2004
Last Modified:	07 Oct 2010 15:12
Item ID:	1799
Public Domain:	No
Subjects:	Specific Sciences > Computer Science
Date:	June 2004
URI:	https://philsci-archive.pitt.edu/id/eprint/1799

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item