%0 Journal Article
%T 布尔算子fuzzy逻辑中的锁归结原理*
%A 邓安生？
%A 刘叙华？
%J 软件学报
%P 205-209
%D 1996
%X 本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子fuzzy逻辑中，并且证明了布尔算子fuazzy逻辑中的锁归结方法和一种特殊的广义锁归结方法是广义完备的．
%K 布尔算子fuzzy逻辑
%K 恒假水平
%K 二值解释
%K 锁归结
%K 广义锁归结．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s129&flag=1