|
|||||
|
|
| 一阶逻辑完备性定理的代数证明 | |
| 引用本文： | 王国俊.一阶逻辑完备性定理的代数证明[J].陕西师范大学学报,2002,30(4):7-11. |
| 作者姓名： | 王国俊 |
| 作者单位： | 陕西师范大学数学研究所 陕西西安710062 |
| 基金项目： | 国家自然科学基金重点资助项目(19831040) |
| 摘 要： | 在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。 |
| 关 键 词： | 代数证明 一阶逻辑 Lindenbaum代数 γ－解释 完备性定理 相容扩张 数理逻辑 |
| 文章编号： | 1001-3857(2002)04-0007-05 |
An algebraic proof of completeness theorem of first-order logic |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ | |
