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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincare' algebra. Such a system allows to establish a completeness theorem.

(2009). An Axiomatic System Suggested by Quantum Computation [journal article - articolo]. In JOURNAL OF LOGIC AND COMPUTATION. Retrieved from http://hdl.handle.net/10446/22844

An Axiomatic System Suggested by Quantum Computation

BERTINI, Cesarino;LEPORINI, Roberto
2009-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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincare' algebra. Such a system allows to establish a completeness theorem.
journal article - articolo
2009
Bertini, Cesarino; Leporini, Roberto
(2009). An Axiomatic System Suggested by Quantum Computation [journal article - articolo]. In JOURNAL OF LOGIC AND COMPUTATION. Retrieved from http://hdl.handle.net/10446/22844
File allegato/i alla scheda:
File Dimensione del file Formato  
An Axiomatic System Suggested by Quantum Computation.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 248.35 kB
Formato Adobe PDF
248.35 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/22844
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact