%0 Journal Article
%T 命题中介逻辑的可靠和完备Gentzen推导系统
%A 朱梧?
%A 李未
%A 眭跃飞
%A 罗杰
%J -
%D 2016
%R 10.13328/j.cnki.jos.004791
%X 中介逻辑是朱梧?先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词?以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的
%K 中介逻辑 矛盾关系 反对关系 可靠性 完备性
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=4791&flag=1