DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

DOI10.1142/S0219749904000067zbMath1069.81007arXivquant-ph/0311143MaRDI QIDQ4674239

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)

Related Items

Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Termination of nondeterministic quantum programs ⋮ Automata theory based on quantum logic: reversibilities and pushdown automata ⋮ Toward automatic verification of quantum programs ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers ⋮ A proof system for disjoint parallel quantum programs

Cites Work

• Unnamed Item
• Orthomodular structures as quantum logics. Transl. from the Slovak
• The logic of quantum mechanics
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?