一阶格值逻辑系统LF(X)相关论文
讨论一阶格值逻辑系统LF（X）中带广义量词的语法推理，同时证明了LF（X）中带广义量词的可靠性定理，作为应用我们对带广义量词的一些推理规则......
给出了一阶格值逻辑系统LF（X）中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF（X）中带广义量词的弱完备性定理.......
