您的位置： 专家智库 > >

教育部人文社会科学重点研究基地度重大研究项目(2000DXM72040002)

作品数：1 被引量：0H指数：0
相关作者：鞠实儿林渊雷更多>>
相关机构：中山大学更多>>
发文基金：教育部人文社会科学重点研究基地度重大研究项目更多>>
相关领域：哲学宗教更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教

主题

  • 1篇三值逻辑

机构

  • 1篇中山大学

作者

  • 1篇林渊雷
  • 1篇鞠实儿

传媒

  • 1篇中山大学学报...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于开放世界假设的三值逻辑的语义推理系统
2008年
Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO。文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性。
鞠实儿林渊雷
关键词：三值逻辑
全选 清除 导出
共1页<1>
聚类工具0