DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

DOI10.1142/S0219749904000067zbMATH Open1069.81007arXivquant-ph/0311143MaRDI QIDQ4674239FDOQ4674239

Olivier Brunet, Philippe Jorrand

Publication date: 9 May 2005

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• The logic of quantum mechanics
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Orthomodular structures as quantum logics. Transl. from the Slovak

Cited In (11)

• A dynamic programming approach to multi-objective logic synthesis of quantum circuits
• A proof system for disjoint parallel quantum programs
• LQP: the dynamic logic of quantum information
• Quantum logic as a dynamic logic
• A logic for formal verification of quantum programs
• Termination of nondeterministic quantum programs
• Quantum fuzzy inference for knowledge base design in robust intelligent controllers
• Automata theory based on quantum logic: reversibilities and pushdown automata
• A dynamic logic for QASM programs
• 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)