Dynamic Quantum Logic for Quantum Programs

Details Dynamic Quantum Logic for Quantum Programs Dynamic Quantum Logic for Quantum Programs

2003-11-20

arxiv.org/abs/quant-ph/0311143v1

Physics

Quantum Physics

Submitted to the International Journal of Quantum Information

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Dynamic Quantum Logic for Quantum Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Dynamic Quantum Logic for Quantum Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic Quantum Logic for Quantum Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-406815