LF（X）中带广义量词的弱完备性定理
周平[1] 姜明[2] 孙西芃[3]
[1]四川师范大学数学与软件科学学院,四川成都610066 [2]西南民族大学电信学院,四川成都610041 [3]西南财经大学数学系,四川成都610047
摘 要:
给出了一阶格值逻辑系统LF（X）中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF（X）中带广义量词的弱完备性定理. (共4页)
学科分类:
O141.1[数理科学和化学 > 数学 > 数理逻辑、数学基础 > 数理逻辑（符号逻辑） > 命题演算、谓词演算、类演算]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com