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

• 作者: 周平 姜明 孙西芃
• 来源期刊: 四川师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 一阶格值逻辑系统LF(X) 广义量词 弱完备性定理
• 年，卷（期）: 2008,（1）
• 页码范围: 6-9
• 页数: 4页
• 分类号: O141.1
• 字数: 3240字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8395.2008.01.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周平	四川师范大学数学与软件科学学院	24	63	5.0	6.0
2	姜明	西南民族大学电信学院	50	98	5.0	6.0
3	孙西芃	西南财经大学数学系	2	9	1.0	2.0