DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS-Reference-Cited by-同舟云学术

DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS

Published:2004-03 Issue:01 Volume:02 Page:45-54
ISSN:0219-7499
Container-title:International Journal of Quantum Information
language:en
Short-container-title:Int. J. Quantum Inform.

Author:

BRUNET OLIVIER¹,JORRAND PHILIPPE¹

Affiliation:

1. Leibniz Laboratory, University of Grenoble, 46, Avenue Félix Viallet, 38000 Grenoble, France

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.

Publisher

World Scientific Pub Co Pte Lt

Subject

Physics and Astronomy (miscellaneous)

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0219749904000067

Reference14 articles.

1. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels

2. Elementary gates for quantum computation

3. The Logic of Quantum Mechanics

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability;Lecture Notes in Computer Science;2024

2. References;Foundations of Quantum Programming;2024

3. Introduction;Foundations of Quantum Programming;2024

4. QChecker: Detecting Bugs in Quantum Programs via Static Analysis;2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE);2023-05

5. Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect;ACM Transactions on Computational Logic;2023-03-17