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

作者：杜国平

来源：湖北大学学报(哲学社会科学版), 2020, 47(02): 36-167.

DOI：10.13793/j.cnki.42-1020/c.2020.02.004

• 联结词
• 括号表示法
• 4值逻辑
• 自然演绎系统
• 扩充

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

• 单位
  中国社会科学院哲学研究所