逻辑推理机制中的分配律

• 作者: 史航 吴美华 王宝山
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 分配律 推理机制 正交模律 伴随
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 智能计算
• 页码范围: 21-24
• 页数: 4页
• 分类号: TP301|O141
• 字数: 5531字
• 语种: 中文

摘要

分配律在经典逻辑推理机制中具有核心地位.量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑.指出了希尔伯特空间闭子空间刻画量子逻辑的不足,并深层次地分析了经典逻辑推理机制的内涵,利用正交模律取代经典逻辑中的分配律,可以实现量子逻辑的推理能力.最后,通过范畴理论中伴随函子的概念重新审视逻辑推理机制,使经典逻辑推理机制推广到更广泛的逻辑领域中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史航	北京航空航天大学数学与系统科学学院	2	15	1.0	2.0
2	王宝山	北京航空航天大学数学与系统科学学院	6	3	1.0	1.0
3	吴美华	北京航空航天大学数学与系统科学学院	2	1	1.0	1.0