基本逻辑与量子纠缠

众所周知，量子纠缠是量子计算最重要的特征之一，因为它导致大规模量子并行性，从而实现指数级计算加速。在某种意义上，量子纠缠被视为量子计算本身的隐式性质。但是……它能否被显式化？换言之，是否可能在机器语言的逻辑序列演算中找到联结词“纠缠”？并且，是否可能“教”量子计算机“模仿”EPR“悖论”？若所用逻辑序列演算是最弱可能的逻辑亦即基本逻辑，则答案为肯定。弱逻辑具有极少结构规则。但在逻辑中，弱结构为联结词（例如联结词“纠缠”）留下更多空间。此外，基本逻辑中缺少收缩与弱化两条结构规则，分别对应于量子计算中不可克隆定理与不可擦除定理的成立。