LF(X)中带广义量词的弱完备性定理 (2008年)

【文件属性】：

文件名称：LF(X)中带广义量词的弱完备性定理 (2008年)

文件大小：215KB

文件格式：PDF

更新时间：2024-05-12 03:14:28

自然科学 论文

给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义，得到赋值为闭的结果，证明了LF(X)中带广义量词的弱完备性定理．