| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 文献综述 | 第9-11页 |
| 一、国内外研究现状 | 第9页 |
| 二、理论与现实意义 | 第9-11页 |
| 第1章 甘岑逻辑演绎思想的理论基础 | 第11-23页 |
| 1.1 公理系统 | 第11-13页 |
| 1.2 形式系统 | 第13-15页 |
| 1.3 弗雷格的概念文字 | 第15-17页 |
| 1.4 希尔伯特与阿克曼的数理逻辑 | 第17-23页 |
| 1.4.1 关于命题逻辑公理系统的一些探讨 | 第18-20页 |
| 1.4.2 关于狭义谓词演算公理系统的一些探讨 | 第20-23页 |
| 第2章 甘岑的自然演绎系统 | 第23-33页 |
| 2.1 甘岑自然演绎系统概述 | 第23-26页 |
| 2.2 谓词逻辑的自然演绎系统 | 第26-29页 |
| 2.2.1 直觉主义谓词逻辑自然演绎系统 | 第26-28页 |
| 2.2.2 古典谓词逻辑的自然演绎系统 | 第28-29页 |
| 2.3 自然演绎系统与公理系统的比较 | 第29-33页 |
| 2.3.1 系统构造方面的比较 | 第29-30页 |
| 2.3.2 系统中证明过程的比较 | 第30-33页 |
| 第3章 甘岑的矢列式演算系统 | 第33-46页 |
| 3.1 甘岑矢列式演算系统概述 | 第33-35页 |
| 3.2 谓词逻辑的矢列式演算系统 | 第35-41页 |
| 3.2.1 推导定义与推理图模式 | 第35-37页 |
| 3.2.2 LJ与LK演算推理图模式的一些说明 | 第37-38页 |
| 3.2.3 切割消除定理——“The Hauptsatz” | 第38-41页 |
| 3.3 矢列式演算系统与自然演绎系统的比较 | 第41-46页 |
| 3.3.1 系统构造方面的比较 | 第41-43页 |
| 3.3.2 系统中证明过程的比较 | 第43-46页 |
| 第4章 总结与展望 | 第46-50页 |
| 4.1 从公理系统到自然演绎系统 | 第46-47页 |
| 4.2 从自然演绎系统到矢列式演算系统 | 第47-48页 |
| 4.3 基于甘岑逻辑演绎思想的发展 | 第48-50页 |
| 结语 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 致谢 | 第53-54页 |
| 科研成果及发表论文 | 第54页 |