| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 第1章 引言 | 第9-12页 |
| ·课题的研究意义和国内外研究现状 | 第9-11页 |
| ·本论文研究的内容 | 第11-12页 |
| 第2章 预备知识 | 第12-19页 |
| ·R_0代数的概念和性质 | 第12-15页 |
| ·二值命题逻辑系统L中的计量逻辑理论 | 第15-19页 |
| 第3章 R_0代数中的极大缩减 | 第19-26页 |
| ·R_0代数的协调集 | 第19-22页 |
| ·R_0代数中的极大缩减 | 第22-26页 |
| 第4章 二值逻辑中公式真度的范式表示 | 第26-32页 |
| ·系统L中公式的n-原子 | 第26-29页 |
| ·公式真度的范式表示 | 第29-32页 |
| 结论与展望 | 第32-33页 |
| 参考文献 | 第33-37页 |
| 致谢 | 第37-38页 |
| 附录A (攻读学位期间所发表的学术论文目录) | 第38页 |