arXivDaily arXiv每日学术速递 周一至周五更新
arXiv quant-ph/0008017quant-phmath.LO
收藏

完美测量的逻辑描述

A logical description for perfect measurements

Bob Coecke, Sonja Smets

备注：
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
发表信息：
International Journal of theoretical Physics 39 (3) 595-604, 2000
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

摘要：

我们重新考虑由于完美的测量属性转换的描述，将其视为由于外部施加的变化的一般转换的特殊情况。我们提出了一个相应的语法涉及操作量子逻辑和非交换线性逻辑的片段。

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑