动态视角下的析取量子逻辑
逻辑
2007-05-23 v5 数学物理
math.MP
量子物理
摘要
在arXiv: math.LO/0011208中，我们提出了{\sl 量子逻辑的直觉主义或析取表示}，即把物理系统的性质格表示为关于这些性质的命题的完备Heyting代数，该完备Heyting代数附带一个额外操作——{\sl 运算分解}，用以在命题逻辑中辨识性质。这一表示有一个重要的"朝向动态量子逻辑"的应用，即描述物理系统实际性质的随时间不确定传播。本文可视为"直觉主义视角下的量子逻辑"的補篇，讨论其衍生成果并由此提供附加动机。我们导出动态析取量子逻辑的quantaloidal语义，并以完美（量子）测量的特例加以说明。
引用
@article{arxiv.math/0011209,
title = {Disjunctive Quantum Logic in Dynamic Perspective},
author = {Bob Coecke},
journal= {arXiv preprint arXiv:math/0011209},
year = {2007}
}
备注
13 Pages; camera ready version; some corrections are made; indications and references on current progress on the matter have been included