您的位置： 专家智库 > >

史航

作品数：1 被引量：1H指数：1
供职机构：北京航空航天大学数学与系统科学学院更多>>
发文基金：中央级公益性科研院所基本科研业务费专项更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇正交
  • 1篇逻辑
  • 1篇分配律

机构

  • 1篇北京航空航天...

作者

  • 1篇王宝山
  • 1篇吴美华
  • 1篇史航

传媒

  • 1篇计算机科学

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
逻辑推理机制中的分配律被引量：1
2016年
分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空间闭子空间刻画量子逻辑的不足,并深层次地分析了经典逻辑推理机制的内涵,利用正交模律取代经典逻辑中的分配律,可以实现量子逻辑的推理能力。最后,通过范畴理论中伴随函子的概念重新审视逻辑推理机制,使经典逻辑推理机制推广到更广泛的逻辑领域中。
史航王宝山吴美华
关键词：分配律
全选 清除 导出
共1页<1>
聚类工具0