We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum registers measurements? This paper gives an answer to this question, and, quite surprisingly, shows that such a logic is nothing else that the standard propositional intuitionistic logic.
A Logic for Quantum Register Measurements
Masini, Andrea
;Zorzi, Margherita
2019-01-01
Abstract
We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum registers measurements? This paper gives an answer to this question, and, quite surprisingly, shows that such a logic is nothing else that the standard propositional intuitionistic logic.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
A Logic for Quantum Register Measurements.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Altro materiale allegato
Licenza:
Creative commons
Dimensione
267.36 kB
Formato
Adobe PDF
|
267.36 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.