%0 Journal Article
%T 一种基于集合符号的自动推理扩展方法
%A 伏玉琛
%A 凌兴宏
%A 孙吉贵
%A 崔志明
%A 龚声蓉
%A 刘  全
%J -
%D 2007
%X 在多值逻辑Tableau推理的基础上，提出了一种基于集合符号..
%K [集合符号
%K 自动推理
%K Tableau
%K 经典逻辑
%K 非经典逻辑
%K set sign
%K automated reasoning
%K tableau
%K classical logic
%K non-classical logic]
%U http://crad.ict.ac.cn/CN/Y2007/V44/I8/1317