基于括号表示法的4值逻辑自然演绎系统

发布时间：2021-03-25 14:27

　　运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。 

【文章来源】：湖北大学学报(哲学社会科学版). 2020,47(02)北大核心CSSCI

【文章页数】：15 页

【参考文献】：
期刊论文
[1]不用联结词的“舍…取…”型自然推演系统[J]. 杜国平.  湖南科技大学学报(社会科学版). 2019(03)
[2]基于括号表示法的一阶逻辑系统[J]. 杜国平.  安徽大学学报(哲学社会科学版). 2019(03)
[3]关于“不用联结词的逻辑系统”的注记[J]. 杜国平.  重庆理工大学学报(社会科学). 2019(04)
[4]一类3值逻辑2元Sheffer函数[J]. 杜国平.  华南师范大学学报(社会科学版). 2016(01)
[5]3值逻辑与经典2值逻辑关系探究[J]. 杜国平,傅庆芳.  安徽师范大学学报(人文社会科学版). 2012(06)
[6]MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究[J]. 顾红芳,白鹏,肖奚安,朱梧槚.  数学杂志. 2000(03)



本文编号：3099839