您的位置： 专家智库 > >

教育部人文社会科学研究基金(12YJC72040001)

作品数：1 被引量：0H指数：0
相关作者：马明辉更多>>
相关机构：西南大学更多>>
发文基金：教育部人文社会科学研究基金更多>>
相关领域：自然科学总论更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自然科学总论

主题

  • 1篇直觉主义
  • 1篇直觉主义逻辑
  • 1篇逻辑系统
  • 1篇模态逻辑

机构

  • 1篇西南大学

作者

  • 1篇马明辉

传媒

  • 1篇自然辩证法研...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
论逻辑系统的波斯特完全性
2012年
波斯特完全性是一种句法意义上的完全性概念,它区别于语义完全性。如果一个逻辑系统是一致的并且增加任何在该系统中不可证的公式就得到不一致逻辑系统,那么该逻辑系统是波斯特完全的,即波斯特完全的逻辑系统是没有一致真扩张的一致逻辑系统。古典命题逻辑是波斯特完全的,直觉主义逻辑不是波斯特完全的,但它只有古典命题逻辑作为唯一的波斯特完全的扩张。模态逻辑中波斯特完全性比较复杂,而且还有一种广义的波斯特完全性概念。其它逻辑系统的波斯特完全性有待进一步探索。
马明辉
关键词：直觉主义逻辑模态逻辑
全选 清除 导出
共1页<1>
聚类工具0