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 density operator (called qumix). In this framework, any sentence α of the language gives rise to a quantum circuit that transforms the qumix associated to the atomic subformulas of α into the qumix associated to α. In this paper we enrich the language by adding a new connective which expresses truncated sum.
Product Lukasiewicz quantum logic
BERTINI, Cesarino;LEPORINI, Roberto
2011-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 density operator (called qumix). In this framework, any sentence α of the language gives rise to a quantum circuit that transforms the qumix associated to the atomic subformulas of α into the qumix associated to α. In this paper we enrich the language by adding a new connective which expresses truncated sum.File allegato/i alla scheda:
File | Dimensione del file | Formato | |
---|---|---|---|
Product.pdf
Solo gestori di archivio
Versione:
publisher's version - versione editoriale
Licenza:
Licenza default Aisberg
Dimensione del file
356.45 kB
Formato
Adobe PDF
|
356.45 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo