A logical description for perfect measurements
量子物理
2007-05-23 v1 逻辑
摘要
We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed change. We propose a corresponding syntax involving operational quantum logic and a fragment of non-commutative linear logic.
引用
@article{arxiv.quant-ph/0008017,
title = {A logical description for perfect measurements},
author = {Bob Coecke and Sonja Smets},
journal= {arXiv preprint arXiv:quant-ph/0008017},
year = {2007}
}
备注
6 pages. The published version suffered seriously in the editing process (\otimes and \oplus, and {\cal P} and P, and references got mixed up in a slightly random way); corrected proofs seem to have dissapeared at the editorial office