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

【文件属性】：

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

文件大小：274KB

文件格式：PDF

更新时间：2024-06-19 13:03:39

自然科学 论文

在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ解释,证明了一阶逻辑的完备性定理.