The theory of gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics, where the meaning of a sentence is identi ed with a system of qubits in a pure or, more generally, mixed state. In this framework, any formula of the language gives rise to a quantum circuit that transforms the state associated to the atomic subformulas into the state associated to the formula and vice versa. On this bases, some holistic semantic situations can be described, where the meaning of whole determine the meaning of the parts, by non-linear and anti-unitary operators. We prove that the semantics with such operators and the semantics with unitary operators turn out to characterize the same logic.

LEPORINI, Roberto, (2010). Quantum logics with bounded additive operators n. 8(2010)). Bergamo: Retrieved from http://hdl.handle.net/10446/755

Quantum logics with bounded additive operators

LEPORINI, Roberto
2010-01-01

Abstract

The theory of gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics, where the meaning of a sentence is identi ed with a system of qubits in a pure or, more generally, mixed state. In this framework, any formula of the language gives rise to a quantum circuit that transforms the state associated to the atomic subformulas into the state associated to the formula and vice versa. On this bases, some holistic semantic situations can be described, where the meaning of whole determine the meaning of the parts, by non-linear and anti-unitary operators. We prove that the semantics with such operators and the semantics with unitary operators turn out to characterize the same logic.
2010
Leporini, Roberto
File allegato/i alla scheda:
File Dimensione del file Formato  
wpMSIA08(2010).pdf

accesso aperto

Dimensione del file 422.91 kB
Formato Adobe PDF
422.91 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/755
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact