Preprint 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

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public comment
Send a private comment to the author(s)
* All users must log in before leaving a comment
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.