The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister (a system of qubits) or, more generally, with a mixture of quregisters (called qumix). In this framework, any sentence of the language gives rise to a quantum tree: a kind of quantum circuit that transforms the quregister (qumix) associated to the atomic subformulas of the sentence; into the quregister (qumix) associated to the sentence. A variant of the quantum computational semantics is represented by the quantum holistic semantics, which permits us to represent entangled meanings. Physical models of quantum computational logics can be built by means of Mach-Zehnder interferometers.

(2005). Logics from Quantum Computation [journal article - articolo]. In INTERNATIONAL JOURNAL OF QUANTUM INFORMATION. Retrieved from http://hdl.handle.net/10446/19597

Logics from Quantum Computation

Leporini, Roberto
2005-01-01

Abstract

The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister (a system of qubits) or, more generally, with a mixture of quregisters (called qumix). In this framework, any sentence of the language gives rise to a quantum tree: a kind of quantum circuit that transforms the quregister (qumix) associated to the atomic subformulas of the sentence; into the quregister (qumix) associated to the sentence. A variant of the quantum computational semantics is represented by the quantum holistic semantics, which permits us to represent entangled meanings. Physical models of quantum computational logics can be built by means of Mach-Zehnder interferometers.
articolo
2005
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto
(2005). Logics from Quantum Computation [journal article - articolo]. In INTERNATIONAL JOURNAL OF QUANTUM INFORMATION. Retrieved from http://hdl.handle.net/10446/19597
File allegato/i alla scheda:
File Dimensione del file Formato  
Logics from Quantum Computation.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 524.09 kB
Formato Adobe PDF
524.09 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/19597
Citazioni
  • Scopus 46
  • ???jsp.display-item.citation.isi??? 35
social impact