%0 Journal Article
%T 广义Horn集
%A 刘叙华
%A 欧阳丹彤
%J -
%D 1995
%X 本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理
%K 广义归结
%K 广义对称调解
%K 广义有向调解
%K 广义Horn集
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950408&flag=1