基于格蕴涵代数的格值逻辑系统及其自动推理的研究
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 第一章 绪论 | 第9-23页 |
| §1．1 形成本文的学术背景 | 第9-11页 |
| §1．2 国内外研究现状分析 | 第11-20页 |
| §1．2．1 关于非经典逻辑的研究 | 第11-15页 |
| §1．2．2 关于自动推理的研究 | 第15-17页 |
| §1．2．3 关于归结原理的研究 | 第17-20页 |
| §1．3 本文的主要内容 | 第20-21页 |
| §1．4 预备知识 | 第21-23页 |
| 第二章 关于格蕴涵代数的研究 | 第23-37页 |
| §2．1 格蕴涵代数简介 | 第23-26页 |
| §2．2 关于格蕴涵代数的研究 | 第26-37页 |
| 第三章 格值逻辑系统中的归结原理 | 第37-91页 |
| §3．1 经典逻辑归结原理概述 | 第37-47页 |
| §3．2 格值命题逻辑系统简单子句归结原理 | 第47-64页 |
| §3．3 格值命题逻辑系统复杂子句归结原理 | 第64-76页 |
| §3．4 格值一阶逻辑归结原理 | 第76-86页 |
| §3．5 格值归结原理再分析 | 第86-91页 |
| 第四章 一个新的格值命题逻辑系统 | 第91-113页 |
| §4．1 格值命题逻辑L_（vp）的语义系统 | 第91-101页 |
| §4．2 格值命题逻辑L_（vp）的语法系统 | 第101-113页 |
| 第五章 总结与展望 | 第113-115页 |
| §5．1 总结 | 第113-114页 |
| §5．2 展望 | 第114-115页 |
| 致谢 | 第115-116页 |
| 参考文献 | 第116-128页 |
| 攻读博士学位期间发表的论文及科研成果 | 第128-130页 |
