The Library
Reasoning formally about quantum systems : an overview
Tools
Papanikolaou, N. K. (2005) Reasoning formally about quantum systems : an overview. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-416.pdf - Other - Requires a PDF viewer. Download (339Kb) | Preview |
Abstract
This article is intended as an introduction to the subject of quantum logic, and as a brief survey of the relevant literature. Also discussed here are logics for specification and analysis of quantum information systems, in particular, recent work by P. Mateus and A. Sernadas, and also by R. van der Meyden and M. Patra. Overall, our objective is to provide a high-level presentation of the logical aspects of quantum theory. Mateus’ and Sernadas’ EQPL logic is illustrated with a small example, namely the state of an entangled pair of qubits. The "KT" logic of van der Meyden and Patra is demonstrated briey in the context of the B92 protocol for quantum key distribution.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics Q Science > QC Physics |
||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Quantum logic , Quantum theory, Mathematical physics | ||||
Series Name: | Department of Computer Science Research Report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | 13 July 2005 | ||||
Dates: |
|
||||
Number: | Number 416 | ||||
Number of Pages: | 16 | ||||
DOI: | CS-RR-416 | ||||
Institution: | University of Warwick | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year