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

An algebraic proof of completeness theorem of firstorder logic

作　　者：王国俊[1] 

机构地区：[1]陕西师范大学数学研究所,陕西西安710062

出　　处：《陕西师范大学学报（自然科学版）》2002年第4期7-11,共5页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金重点资助项目(19831040)

摘　　要：在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ 解释,证明了一阶逻辑的完备性定理.Based on quotient Lindenbaum algebra, the present paper provides an algebraic proof of the completeness theorem without using any consistent extension, where the concept of γinterpretation introduced by the author plays an important role.

关 键 词：代数证明 一阶逻辑 LINDENBAUM代数 γ-解释 完备性定理 相容扩张 数理逻辑 

分 类 号：O141.1[理学—数学]