Next Article in Journal
Optimization of Fuzzy Controller Using Galactic Swarm Optimization with Type-2 Fuzzy Dynamic Parameter Adjustment
Next Article in Special Issue
Doily as Subgeometry of a Set of Nonunimodular Free Cyclic Submodules
Previous Article in Journal
General Relativity with a Positive Cosmological Constant Λ as a Gauge Theory
Open AccessArticle

A Logic for Quantum Register Measurements

by Andrea Masini and Margherita Zorzi *,†
Department of Computer Science, University of Verona, 37134 Verona, Italy
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2019, 8(1), 25; https://doi.org/10.3390/axioms8010025
Received: 7 November 2018 / Accepted: 19 February 2019 / Published: 24 February 2019
(This article belongs to the Special Issue Foundations of Quantum Computing)
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. View Full-Text
Keywords: intuitionistic logic; quantum computing; kripke-style semantics intuitionistic logic; quantum computing; kripke-style semantics
Show Figures

Figure 1

MDPI and ACS Style

Masini, A.; Zorzi, M. A Logic for Quantum Register Measurements. Axioms 2019, 8, 25.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop