| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-16页 |
| ·课题研究背景 | 第9-10页 |
| ·国内外研究情况介绍 | 第10-14页 |
| ·多值逻辑在逻辑学中的应用 | 第11页 |
| ·多值逻辑在哲学中的应用 | 第11-12页 |
| ·多值逻辑在计算机科学中的应用 | 第12-13页 |
| ·多值逻辑在人工智能方面的应用 | 第13-14页 |
| ·多值逻辑在数学领域的应用 | 第14页 |
| ·本课题研究主要内容 | 第14-16页 |
| ·证明的方法和思路 | 第14页 |
| ·本文结构简介 | 第14-16页 |
| 第二章 部分多值逻辑函数的完备性理论 | 第16-20页 |
| ·部分多值逻辑函数的基本概念 | 第16-17页 |
| ·部分多值逻辑函数的完备性定理 | 第17-20页 |
| 第三章 P_4~* 中保三、四元单纯可离函数集的剔除 | 第20-28页 |
| ·剔除方法 | 第20-21页 |
| ·P_4~* 中不是最小覆盖成员的保三、四元单纯可离关系函数集 | 第21-28页 |
| 第四章 P_4~* 保单纯可离关系函数集最小覆盖成员的确定 | 第28-50页 |
| ·m = 3 时保单纯可离关系函数集最小覆盖成员的确定 | 第28-34页 |
| ·m=3 时第一类单纯可离函数集的定出 | 第28-30页 |
| ·m=3 时第二类单纯可离函数集的定出 | 第30-31页 |
| ·m=3 时第三类单纯可离函数集的定出 | 第31-33页 |
| ·m=3 时第四类单纯可离函数集的定出 | 第33-34页 |
| ·m = 4 时保单纯可离关系函数集最小覆盖成员的确定 | 第34-50页 |
| ·m=4 时含两个元素的单纯可离函数集的定出 | 第34-38页 |
| ·m=4 时含四个元素的单纯可离函数集的定出 | 第38-43页 |
| ·m=4 时含八个元素的单纯可离函数集的定出 | 第43-47页 |
| ·m=4 时含十二个元素的单纯可离函数集的定出 | 第47-48页 |
| ·m=4 时含二十四个元素的单纯可离函数集的定出 | 第48-50页 |
| 第五章 部分四值逻辑的 Sheffer 函数 | 第50-53页 |
| ·Sheffer 函数的判定与构造 | 第50页 |
| ·P_4~* 中的一些Sheffer 函数 | 第50-53页 |
| 总结与展望 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 致谢 | 第58-59页 |
| 附录 A | 第59页 |
