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

来源：软件学报杂志2016年第2期北京时间：

作者：朱梧槚,李未,眭跃飞,罗杰

单位：朱梧槚，南京航空航天大学 计算机系, 江苏 南京 21001611,李未，软件开发环境国家重点实验室北京航空航天大学, 北京 10019102,眭跃飞，中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 10019003,罗杰，软件开发环境国家重点实验室北京航空航天大学, 北京 10019104

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

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

基金资助：国家重点基础研究发展计划(973)(2005CB321901); 软件开发环境国家重点实验室开放课题(SKLSDE-2010KF-06)