Article
Version 1
Preserved in Portico This version is not peer-reviewed
A Logic for Quantum Register Measurements
Version 1
: Received: 7 November 2018 / Approved: 9 November 2018 / Online: 9 November 2018 (03:03:59 CET)
A peer-reviewed article of this Preprint also exists.
Masini, A.; Zorzi, M. A Logic for Quantum Register Measurements. Axioms 2019, 8, 25. Masini, A.; Zorzi, M. A Logic for Quantum Register Measurements. Axioms 2019, 8, 25.
Abstract
We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. But what does it 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 surprising, shows that such a logic is nothing else that the standard propositional intuitionistic logic.
Keywords
intuitionistic logic; quantum computing; Kripke-style semantics
Subject
Computer Science and Mathematics, Logic
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment