论逻辑系统的波斯特完全性

发布时间：2017-07-04 02:23

  本文关键词：论逻辑系统的波斯特完全性

  更多相关文章： 波斯特完全性 古典命题逻辑 直觉主义逻辑 模态逻辑

【摘要】：波斯特完全性是一种句法意义上的完全性概念,它区别于语义完全性。如果一个逻辑系统是一致的并且增加任何在该系统中不可证的公式就得到不一致逻辑系统,那么该逻辑系统是波斯特完全的,即波斯特完全的逻辑系统是没有一致真扩张的一致逻辑系统。古典命题逻辑是波斯特完全的,直觉主义逻辑不是波斯特完全的,但它只有古典命题逻辑作为唯一的波斯特完全的扩张。模态逻辑中波斯特完全性比较复杂,而且还有一种广义的波斯特完全性概念。其它逻辑系统的波斯特完全性有待进一步探索。
【作者单位】： 西南大学逻辑与智能研究中心;
【关键词】： 波斯特完全性 古典命题逻辑 直觉主义逻辑 模态逻辑
【基金】：教育部人文社会科学研究青年项目“模态完全性理论的句法研究”(批准号12YJC72040001)研究成果
【分类号】：B81
【正文快照】： 现代逻辑诞生于弗雷格1879年发表的《概念文字:一种模仿算数的公式语言构造的纯思维的公式语言》〔1〕。在现代逻辑后来的发展中,句法和语义的区分越来越明确。形式系统或形式语言是句法方面的主要内容,它包括初始符号、通过纯句法规则形成的句子、公理以及允许句子转换的推，

本文编号：516045