Affordable Access

An unsharp logic from quantum computation

Authors
  • Cattaneo, G.
  • Chiara, M. L. Dalla
  • Giuntini, R.
  • Leporini, R.
Type
Preprint
Publication Date
Jan 08, 2002
Submission Date
Jan 04, 2002
Identifiers
arXiv ID: quant-ph/0201013
Source
arXiv
License
Unknown
External links

Abstract

Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the squareroot of NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic CQL.

Report this publication

Statistics

Seen <100 times