An unsharp logic from quantum computation
- Authors
- 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.