| 中文摘要 | 第1-7页 |
| 英文摘要 | 第7-11页 |
| 第1章绪论 | 第11-24页 |
| §1．1 形成本文的学术背景 | 第11-14页 |
| §1．2 国内外研究现状分析 | 第14-19页 |
| §1．2．1 关于非经典逻辑的研究概况 | 第14-17页 |
| §1．2．2 关于自动推理理论与方法的研究概况 | 第17-19页 |
| §1．3 本文的研究工作 | 第19-20页 |
| §1．4 格蕴涵代数和格值命题逻辑系统LP(X)简介 | 第20-24页 |
| 第2章 经典命题逻辑系统P(X)中的矩阵运算归结算法 | 第24-43页 |
| §2．1 经典命题逻辑归结原理概述 | 第24-27页 |
| §2．2 经典命题逻辑系统P(XY)中的矩阵归结算法 | 第27-43页 |
| 第3章 四元非链格值命题逻辑系统LP_4(X)中的归结原理及矩阵归结算法 | 第43-61页 |
| §3．1 四元非链格值命题逻辑系统L_4P(X)中的归结原理 | 第43-47页 |
| §3．2 四元非链格值命题逻辑系统L_4P(X)中的矩阵归结算法 | 第47-61页 |
| 第4章 六元格值命题逻辑系统L_6P(X)中的归结原理 | 第61-93页 |
| §4．1 化格值命题逻辑系统LP(X)中任一公式为准广义合取范式 | 第61-79页 |
| §4．1．1 预备知识 | 第62页 |
| §4．1．2 化格值命题逻辑系统LP(X)中任一公式为准广义合取范式的算法 | 第62-79页 |
| §4．2 LP(X)中基于超滤归结的相关问题 | 第79-85页 |
| §4．3 六元非链格值命题逻辑系统L_6P(X)中的归结原理 | 第85-91页 |
| §4．4 六元非链格值命题逻辑系统L_6P(X)上的归结算法 | 第91-93页 |
| 第5章 六元格值一阶逻辑系统L_6F(X)中的归结原理 | 第93-106页 |
| §5．1 化格值一阶逻辑系统LF(X)中任一公式为可归约形式的算法 | 第93-99页 |
| §5．2 六元非链格值一阶逻辑系统L_6F(X)中的归结原理 | 第99-106页 |
| 第6章 结论与展望 | 第106-108页 |
| §6．1 结论 | 第106-107页 |
| §6．2 展望 | 第107-108页 |
| 致谢 | 第108-109页 |
| 参考文献 | 第109-117页 |
| 攻读博士学位期间发表的论文及科研成果 | 第117-120页 |
| 附录 | 第120-121页 |
