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
Article Menu

Export Article

Open AccessArticle
Axioms 2019, 8(1), 25;

A Logic for Quantum Register Measurements

Department of Computer Science, University of Verona, 37134 Verona, Italy
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Received: 7 November 2018 / Accepted: 19 February 2019 / Published: 24 February 2019
(This article belongs to the Special Issue Foundations of Quantum Computing)
PDF [379 KB, uploaded 24 February 2019]
  |     |  


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

Figure 1

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 (CC BY 4.0).

Share & Cite This Article

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.

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Axioms EISSN 2075-1680 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top