A Logic for Quantum Register Measurements

Authors:
Open Access
Publisher website
Google Scholar
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.

This publication has 16 references indexed in Scilit: