%0 Journal Article
%T LF（X）中带广义量词的弱完备性定理
%A 周平
%A 姜明
%A 孙西
%J 四川师范大学学报(自然科学版)
%D 2008
%X 给出了一阶格值逻辑系统LF（X）中带广义量词的Lˉ型模糊集为闭的扩展定义，得到赋值为闭的结果，证明了LF（X）中带广义量词的弱完备性定理.
%K 一阶格值逻辑系统LF（X）
%K 广义量词
%K 弱完备性定理
%U http://jsnu.paperopen.com/oa/DArticle.aspx?type=view&id=200801002