一阶逻辑完备性定理的代数证明

摘要：

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

关键词：一阶逻辑、Lindenbaum代数、γ-解释、完备性定理

所属期刊栏目：30

分类号：O159;O153(代数、数论、组合理论)

资助基金：国家自然科学基金19831040

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

页数：共5页

页码：7-11