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 rootNOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call quantum computational logic (QCL)

Cattaneo, G., Dalla Chiara, M., Giuntini, R., Leporini, R. (2004). An unsharp logic from quantum computation. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 43(7-8), 1803-1817 [10.1023/B:IJTP.0000048821.56239.cb].

An unsharp logic from quantum computation

CATTANEO, GIANPIERO;
2004

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 rootNOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call quantum computational logic (QCL)
Articolo in rivista - Articolo scientifico
quantum computation; quantum logic
English
2004
43
7-8
1803
1817
none
Cattaneo, G., Dalla Chiara, M., Giuntini, R., Leporini, R. (2004). An unsharp logic from quantum computation. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 43(7-8), 1803-1817 [10.1023/B:IJTP.0000048821.56239.cb].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/1180
Citazioni
  • Scopus 25
  • ???jsp.display-item.citation.isi??? 14
Social impact