| 摘要 | 第1-8页 |
| Abstract | 第8-15页 |
| 第1章 绪论 | 第15-25页 |
| ·本文的学术背景 | 第15-16页 |
| ·国内外相关研究现状 | 第16-21页 |
| ·本文的主要内容 | 第21-25页 |
| 第2章 格值命题逻辑L_nP(X)中3阶不可分极简式的结构与α-可归结性 | 第25-51页 |
| ·基本概念与结论 | 第25-29页 |
| ·次正则3阶不可分极简式的结构 | 第29-32页 |
| ·非次正则3阶不可分极简式的结构 | 第32-35页 |
| ·一类3阶不可分极简式的α-可归结性 | 第35-51页 |
| 第3章 语言真值格值逻辑中α-归结原理的一般形式 | 第51-65页 |
| ·语言真值格值命题逻辑L_(v(n×2))P(X)中α-归结原理的一般形式 | 第51-58页 |
| ·语言真值格值一阶逻辑L_(v(n×2))F(X)中α-归结原理的一般形式 | 第58-65页 |
| 第4章 基于格值逻辑系统的α-准锁语义归结方法 | 第65-107页 |
| ·基于格值命题逻辑系统LP(X)的α-准锁语义归结方法 | 第66-74页 |
| ·基于语言真值格值命题逻辑L_(v(n×2))P((X)的α-准锁语义归结方法 | 第74-80页 |
| ·基于语言真值格值命题逻辑L_(v(n×2))P(X)的α-准锁语义归结算法 | 第80-85页 |
| ·基于格值一阶逻辑系统LF(X)的α-准锁语义归结方法 | 第85-95页 |
| ·基于语言真值格值一阶逻L_(v(n×2))F(X)的α-准锁语义归结方法 | 第95-102页 |
| ·基于语言真值格值一阶逻辑L_(v(n×2))F(X)的α-准锁语义归结算法 | 第102-107页 |
| 第5章 基于格值逻辑系统的α-群准锁语义归结方法 | 第107-135页 |
| ·基于格值命题逻辑系统LP(X)的α-群归结原理 | 第108-111页 |
| ·基于格值命题逻辑系统LP(X)的α-群准锁语义归结方法 | 第111-115页 |
| ·基于语言真值格值命题逻辑L_(v(n×2))P(X)的α-群准锁语义归结方法 | 第115-118页 |
| ·基于语言真值格值命题逻辑L_(v(n×2))FP(X)的α-群准锁语义归结算法 | 第118-119页 |
| ·基于格值一阶逻辑系统LF(X)的α-群归结原理 | 第119-123页 |
| ·基于格值一阶逻辑系统LF(X)的α-群准锁语义归结方法 | 第123-129页 |
| ·基于语言真值格值一阶逻辑L_(v(n×2))F(X)的α-群准锁语义归结方法 | 第129-133页 |
| ·基于语言真值格值一阶逻辑L_(v(n×2))F(X)的α-群准锁语义归结算法 | 第133-135页 |
| 结论与展望 | 第135-137页 |
| 致谢 | 第137-139页 |
| 参考文献 | 第139-151页 |
| 攻读博士学位期间的科研工作 | 第151-153页 |
