量子逻辑通常被视为一种非经典的推理方式，它是由量子力学所迫使的，而经典逻辑则被视为安全的起点。我们提出相反的解释顺序，在有限且完全可计算的环境中进行探讨。自由的正交模格由两个生成元构成，具有九十六个元素，它是一个六元素的非分配因子和一个十六元素的布尔因子的直积。将第一个因子视为上下文的寄存器，而第二个因子视为布尔内容，我们获得一种计算法，其元素为上下文-比特向量对，操作逐个组件地作用。
通过这种计算法，我们建立了三个结果。首先，我们通过交换性对六个层次进行分类，识别出上下文中立命题的中心核以及一个所有互补上下文存在的双中心层。其次，我们展示了正交补全是如何重新排列这些层次，正如小因子的补全重新排列其元素一样，这使得层次之间的对偶关系变得刚性而非偶然。最后，我们证明了忘记上下文的操作是一个正交补全格的满射同态，其商是经典布尔代数，因此经典逻辑是上下文计算法的六比一、信息损失的映像。
博主点评： 这篇文章为量子逻辑提供了全新的视角，强调了上下文的重要性，并通过数学严谨的方式展示了上下文与经典逻辑之间的深刻关系。这种方法不仅丰富了量子逻辑的理论框架，也为未来的研究提供了新的思路。