量子物理及更广领域中情境性的局部推理逻辑

量子物理中的情境性为量子信息与计算提供了关键资源。[Abramsky and Brandenburger, New J. Phys., 2011, Abramsky et al., CSL 2015, 2015]中的拓扑方法将情境性刻画为“全局不一致”与“局部一致”的结合，揭示其也是许多其他领域中发现的现象。这产生了一种检测和证明情境性“全局不一致”部分的逻辑方法。我们的目标是把握另一部分，即“局部一致”部分，这需要对语境（context）拓扑敏感的新型逻辑方法。为此，我们利用正则范畴（regular category）中上下文敏感的理论与模型，表述了一种局部推理逻辑。这为局部一致性提供了统一框架，并为检测、证明以及将情境性用作计算资源的高层方法奠定基础。