| 一阶逻辑完备性定理的新代数证明 |
| |
| 引用本文： | 王国俊,周红军.一阶逻辑完备性定理的新代数证明[J].陕西师范大学学报,2004,32(4):1-3. |
| |
| 作者姓名： | 王国俊 周红军 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金重点资助项目(10331010) |
| |
| 摘 要： | 给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。
|
| 关 键 词： | 完备性定理 代数证明 一阶逻辑 选择公理 滤子 代数表示 修正 解释 |
| 文章编号： | 1672-4291(2004)04-0001-03 |
| 修稿时间： | 2004年5月14日 |
A new algebraic proof of completeness of first order logic |
| |
| WANG Guo-jun,ZHOU Hong-jun.A new algebraic proof of completeness of first order logic[J].Journal of Shaanxi Normal University: Nat Sci Ed,2004,32(4):1-3. |
| |
| Authors: | WANG Guo-jun ZHOU Hong-jun |
| |
| Abstract: | |
| |
| Keywords: | first order logic completeness algebraic proof axiom of choice Q-filter |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
