Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-015-1802-6
Abstract: This paper presents a sound axiomatization for a probabilistic modal dynamic logic of quantum programs. The logic can express whether a state is separable or entangled, information that is local to a subsystem of the… read more here.
Keywords: correctness quantum; quantum; deriving correctness; logic quantum ... See more keywords
A Logic for Quantum Register Measurements
Sign Up to like & getrecommendations! Published in 2019 at "Axioms"
DOI: 10.3390/axioms8010025
Abstract: 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… read more here.
Keywords: quantum register; register measurements; logic quantum;
A First Step to the Categorical Logic of Quantum Programs
Sign Up to like & getrecommendations! Published in 2020 at "Entropy"
DOI: 10.3390/e22020144
Abstract: The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our… read more here.
Keywords: quantum; quantum programs; logic quantum; categorical logic ... See more keywords