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 √NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call quantum computational logic (QCL).
(2004). An unsharp logic from quantum computation [journal article - articolo]. In INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS. Retrieved from https://hdl.handle.net/10446/243830
An unsharp logic from quantum computation
Leporini, Roberto
2004-01-01
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 √NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call quantum computational logic (QCL).File allegato/i alla scheda:
| File | Dimensione del file | Formato | |
|---|---|---|---|
|
B_IJTP.0000048821.56239.cb.pdf
Solo gestori di archivio
Versione:
publisher's version - versione editoriale
Licenza:
Licenza default Aisberg
Dimensione del file
103.08 kB
Formato
Adobe PDF
|
103.08 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
