一阶逻辑完备性定理的新代数证明 (2004年)

【文件属性】：

文件名称：一阶逻辑完备性定理的新代数证明 (2004年)

文件大小：226KB

文件格式：PDF

更新时间：2024-06-06 16:30:58

自然科学 论文

给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ解释,但使用关于Q 滤子的 解释,也需要用到选择公理.另外指出了已有代数证明的不足之处,并作了修正.