面向量子程序的动态量子逻辑
量子物理
2007-05-23 v1
摘要
我们提出了一种将量子逻辑应用于量子程序研究的方法。这是通过使用对通常命题语言的扩展，以使系统上执行的变换显式出现而成为可能的。这样，系统的演化成为了逻辑研究的一部分。我们展示了幺正操作和二值测量如何被纳入这一形式体系，从而可以在逻辑上加以处理。
引用
@article{arxiv.quant-ph/0311143,
title = {Dynamic Quantum Logic for Quantum Programs},
author = {Olivier Brunet and Philippe Jorrand},
journal= {arXiv preprint arXiv:quant-ph/0311143},
year = {2007}
}
备注
Submitted to the International Journal of Quantum Information