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

Sound and Complete Gentzen Deduction System for Intermediate Propositional Logic

作　　者：朱梧槚[1] 李未[2] 眭跃飞[3] 罗杰[2] 

机构地区：[1]南京航空航天大学计算机系,江苏南京210016 [2]软件开发环境国家重点实验室(北京航空航天大学),北京100191 [3]中国科学院计算技术研究所智能信息处理重点实验室,北京100190

出　　处：《软件学报》2016年第2期209-218,共10页Journal of Software

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

摘　　要：中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词-、反对连接词 以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.The intermediate logic is a three-valued logic proposed by Zhu Wu-Jia. A propositional intermediate logic is proposed in this paper where the intermediate unary connective - and the contrary connective are introduced, and the negative connective is defined in terms of the unique binary connective → A Gentzen-typed deduction system is given such that the system is sound and complete with the three-valued semantics of the propositional intermediate logic.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]