您的位置： 专家智库 > >

国家社会科学基金(98BZX030)

作品数：1 被引量：0H指数：0
相关作者：霍书全更多>>
相关机构：中山大学更多>>
发文基金：教育部人文社会科学重点研究基地度重大研究项目国家社会科学基金更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇一致性
  • 1篇逻辑
  • 1篇公理
  • 1篇公理系统

机构

  • 1篇中山大学

作者

  • 1篇霍书全

传媒

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

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
开放类3-值逻辑的元性质
2006年
经典逻辑是建立在封闭世界预设的基础上的,但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。该文将对这一逻辑建立系统,并证明其元逻辑性质。
霍书全
关键词：公理系统一致性
全选 清除 导出
共1页<1>
聚类工具0