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

摘要：

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

关键词：模糊逻辑、系统￡*、极大相容理论、满足性定理、紧致性定理

所属期刊栏目：36

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金10771129;陕西师范大学优秀博士学位论文基金

在线出版日期：2008-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6