DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

DOI10.1142/S0219749904000067MaRDI QIDQ4674239zbMATH OpenFDO

Authors Olivier Brunet, Philippe Jorrand

Publication date 9 May 2005

Published in International Journal of Quantum Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0311143

zbMATH Keywords

Quantum logicnon-standard models of quantum computationquantum programs analysis

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx) Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way, the evolution of the system becomes part of the logical study. We show how both unitary operations and two-valued measurements can be included in this formalism and can thus be handled logically.

Recommendations

• A dynamic logic for QASM programs
• LQP: the dynamic logic of quantum information
• Reasoning about imperative quantum programs
• A logic for formal verification of quantum programs
• Quantum Probabilistic Dyadic Second-Order Logic

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• The logic of quantum mechanics

Cited in

(15)

• A dynamic programming approach to multi-objective logic synthesis of quantum circuits
• A proof system for disjoint parallel quantum programs
• Quantum logic as a dynamic logic
• LQP: the dynamic logic of quantum information
• A logic for formal verification of quantum programs
• Termination of nondeterministic quantum programs
• Reasoning about imperative quantum programs
• Quantum fuzzy inference for knowledge base design in robust intelligent controllers
• Quantum effect logic in cognition
• Non-unitary evolution of quantum logics
• Automata theory based on quantum logic: reversibilities and pushdown automata
• A dynamic logic for QASM programs
• Quantum Hoare logic with ghost variables
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
• Toward automatic verification of quantum programs

This page was built for publication: DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4674239)