周红军,王国俊
陕西师范大学学报(自然科学版). 2008, 36(3): 1-6.
PDF全文 (
)
可视化
收藏
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里φi∈{pi,pi,(p2i)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元, 进而给出了极大相容理论的若干刻画条件;证明了系统L*的 满足性定理和紧致性定理, 其结果完善了系统L*的理论体系.