| 逻辑推理机制中的分配律 |
| |
| 引用本文： | 史航,王宝山,吴美华.逻辑推理机制中的分配律[J].计算机科学,2016,43(Z6):21-24. |
| |
| 作者姓名： | 史航 王宝山 吴美华 |
| |
| 作者单位： | 北京航空航天大学数学与系统科学学院 北京100191,北京航空航天大学数学与系统科学学院 北京100191,北京航空航天大学数学与系统科学学院 北京100191 |
| |
| 基金项目： | 本文受自然科学基金(11371044),基本科研业务费项(YWF-15-SXXY-011)资助 |
| |
| 摘 要： | 分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空间闭子空间刻画量子逻辑的不足,并深层次地分析了经典逻辑推理机制的内涵,利用正交模律取代经典逻辑中的分配律,可以实现量子逻辑的推理能力。最后,通过范畴理论中伴随函子的概念重新审视逻辑推理机制,使经典逻辑推理机制推广到更广泛的逻辑领域中。
|
| 关 键 词： | 分配律 推理机制 正交模律 伴随 |
Distributive Law in Deduction Mechanism of Logic |
| |
| SHI Hang,WANG Bao-shan and WU Mei-hua.Distributive Law in Deduction Mechanism of Logic[J].Computer Science,2016,43(Z6):21-24. |
| |
| Authors: | SHI Hang WANG Bao-shan and WU Mei-hua |
| |
| Affiliation: | School of Mathematic and Systems Science,Beihang University,Beijing 100191,China,School of Mathematic and Systems Science,Beihang University,Beijing 100191,China and School of Mathematic and Systems Science,Beihang University,Beijing 100191,China |
| |
| Abstract: | |
| |
| Keywords: | Distributive law Deduction mechanism Orthomodular law Adjunctions |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
