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.
|Titolo:||A Logic for Quantum Register Measurements|
MASINI, Andrea (Corresponding)
ZORZI, Margherita (Corresponding)
|Data di pubblicazione:||2019|
|Appare nelle tipologie:||01.01 Articolo in Rivista|