| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 文献综述 | 第7-10页 |
| 第1章 对偶直觉主义命题逻辑的自然演绎系统(NDJ)介绍 | 第10-24页 |
| 1.1 直觉主义命题逻辑 | 第10-13页 |
| 1.2 对偶直觉主义命题逻辑 | 第13-14页 |
| 1.3 对偶直觉主义命题逻辑的自然演绎系统 | 第14-21页 |
| 1.4 本章小结 | 第21-24页 |
| 第2章 基本命题逻辑(BPL)自然演绎系统的介绍 | 第24-28页 |
| 2.1 语言 | 第24-25页 |
| 2.2 语义 | 第25页 |
| 2.3 语法 | 第25-26页 |
| 2.4 逻辑性质 | 第26-27页 |
| 2.5 本章小结 | 第27-28页 |
| 第3章 对偶基本命题逻辑(DBPL)的自然演绎系统 | 第28-35页 |
| 3.1 语言 | 第28页 |
| 3.2 语义 | 第28-29页 |
| 3.3 语法 | 第29-31页 |
| 3.4 逻辑性质 | 第31-35页 |
| 第4章 结论与讨论 | 第35-37页 |
| 4.1 结论 | 第35页 |
| 4.2 创新点 | 第35页 |
| 4.3 问题及展望 | 第35-37页 |
| 致谢 | 第37-38页 |
| 参考文献 | 第38-40页 |
| 攻读研究生期间的学术成果 | 第40页 |