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

A Logic for Quantum Register Measurements

by and *,†
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;
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.

AMA Style

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

Chicago/Turabian Style

Masini, Andrea, and Margherita Zorzi. 2019. "A Logic for Quantum Register Measurements" Axioms 8, no. 1: 25.

Find Other Styles
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

Back to TopTop