Preprint Article Version 1 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.

Journal reference: Axioms 2019, 8, 25
DOI: 10.3390/axioms8010025

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.

Subject Areas

intuitionistic logic; quantum computing; Kripke-style semantics

Readers' Comments and Ratings (0)

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.