Reasoning Formally About Quantum Systems: An Overview

by Nick Papanikolaou
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, the objective is to provide a high-level presentation of the logical aspects of quantum theory.
Reference:
Reasoning Formally About Quantum Systems: An Overview (Nick Papanikolaou), In ACM SIGACT News, volume 36, 2005.
Bibtex Entry:
@ARTICLE{Papanikolaou2005a,
  author = {Nick Papanikolaou},
  title = {Reasoning Formally About Quantum Systems: An Overview},
  journal = {ACM SIGACT News},
  year = {2005},
  volume = {36},
  pages = {51--66},
  number = {3},
  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, the objective
	is to provide a high-level presentation of the logical aspects of
	quantum theory.},
  owner = {Nick},
  timestamp = {2010.06.20},
  url = {../files/qsurvey.pdf}
}