| 中文摘要 | 第1-8页 |
| 英文摘要 | 第8-12页 |
| 第一章 绪论 | 第12-26页 |
| ·形成本文的学术背景 | 第12-14页 |
| ·国内外研究现状分析 | 第14-20页 |
| ·关于非经典逻辑的研究 | 第14-17页 |
| ·基于归结原理的自动推理理论与方法的研究 | 第17-20页 |
| ·本文的主要内容 | 第20-22页 |
| ·预备知识 | 第22-26页 |
| 第二章 基于格蕴涵代数的格值模态命题逻辑及其归结方法的研究 | 第26-59页 |
| ·可能世界语义学 | 第26-28页 |
| ·格值模态命题逻辑系统LMP(X) | 第28-49页 |
| ·基于格值模态命题逻辑LMP(X)的α-归结原理 | 第49-59页 |
| 第三章 基于格蕴涵代数的格值时态命题逻辑及其归结方法的研究 | 第59-90页 |
| ·时间语义系统 | 第60-62页 |
| ·格值时态命题逻辑系统LTP(X) | 第62-78页 |
| ·基于格值时态命题逻辑LTP(X)的α-归结原理 | 第78-90页 |
| 第四章 基于格蕴涵代数的格值模态一阶逻辑及其归结方法的研究 | 第90-119页 |
| ·格值模态一阶逻辑LMF(X)的语义系统 | 第92-106页 |
| ·格值模态一阶逻辑LMF(X)的语法系统 | 第106-112页 |
| ·基于系统LMF(X)的α-归结原理 | 第112-119页 |
| 第五章 总结与展望 | 第119-121页 |
| ·总结 | 第119-120页 |
| ·展望 | 第120-121页 |
| 致谢 | 第121-122页 |
| 参考文献 | 第122-133页 |
| 攻读博士期间发表的论文及科研成果 | 第133-134页 |
