命题中介逻辑的可靠和完备Gentzen推导系统

摘要：

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词～、反对连接词(△)以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.

关键词：中介逻辑、矛盾关系、反对关系、可靠性、完备性

所属期刊栏目：27

分类号：TP301(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划9732005CB321901;软件开发环境国家重点实验室开放课题SKLSDE-2010KF-06 National Program on Key Basic Research Project 9732005CB321901;Open Fund of the State Key Laboratory of Software Development EnvironmentSKLSDE-2010KF-06

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：209-218