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 UTC)

How to cite: Masini, A.; Zorzi, M. A Logic for Quantum Register Measurements. Preprints 2018, 2018110226 (doi: 10.20944/preprints201811.0226.v1). Masini, A.; Zorzi, M. A Logic for Quantum Register Measurements. Preprints 2018, 2018110226 (doi: 10.20944/preprints201811.0226.v1).

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)
Rate this article
Views 0
Downloads 0
Comments 0
Metrics 0
Leave a public comment

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