系统￡*中极大相容理论结构刻画的归纳证明

• 作者: 周红军 王国俊
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 系统￡* 极大相容理论 满足性定理 紧致性定理
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-6
• 页数: 6页
• 分类号: O142
• 字数: 6507字
• 语种: 中文

摘要

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.

作者信息

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