逻辑推理机制中的分配律-计算机科学.PDFVIP

Vo 1. 43 No. 6A 第 43 卷第6A 期 计算机科学 2016 年 6 月 Computer Science June 2016 逻辑推理机制中的分配律 史航王宝山吴美华 (北京航空航天大学数学与系统科学学院 北京 100191) 摘 要 分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律，从而也失去了经典 逻辑推理机制，因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空间闭子空间刻画量子逻辑的不足，并 深层次地分析了经典逻辑推理机制的内涵，和l 用正交模律取代经典逻辑中的分配律，可以实现量子逻辑的推理能力。 最后，通过范畴理论中伴随函子的概念重新审视逻辑推理机制，使经典逻辑推理机制推广到更广泛的逻辑领域中。 关键词 分配律，推理机制，正交模律，伴随 中圄法分类号 TP301 ,0141 文献标识码 A Distributive Law in Deduction Mechanism of Logic SHI Hang WANG Bacγshan WU Mei-hua (School of Mathematic and Systems Science ,Beihang University ,Beijing 100191 ,China) Abstract It is well known that the distributive law plays a core role in deduction mechanism of classical logic. How ever , distributive law is abandoned in quantum logic , so that the classic deduction mechanism disappears from quantum , which spontaneously arises the debate whether the quantum logic can be called logic? In this paper ,we introduced the defects of using closed subspaces of Hilbert space to describe quantum logic and deeply analyzed the deduction mecha nism in classicallogic. Further ,the deduction mechanism can be established in quantum logic by using the orthomodular law instead of distributive law. In particular , the deduction mechanism can be renewed with adjunctions in category , which is a generalization of deduction mechanism in classical logic. Keywords Distributive law ,Deduction mechanism ,Orthomodular law ,Adjunctions 模律更弱的正交模律。随后，1. Kaplansky 将满足正交模律且 引言 有正交补的