逻辑系统NMG的满足性和紧致性

• 作者: 周红军 王国俊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 模糊逻辑 逻辑系统NMG 极大相容理论 满足性 紧致性 Cantor空间
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 515-523
• 页数: 9页
• 分类号: TP18
• 字数: 8378字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03381

摘要

紧致性是模糊逻辑的一个重要性质.现已经证明Lukasiewicz命题逻辑、Godel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	46	1247	16.0	34.0
5	周红军	陕西师范大学数学与信息科学学院	29	95	6.0	8.0