| 论文摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 序论 表列演算的历史发展 | 第9-12页 |
| 第1章 经典命题逻辑的表列演算 | 第12-21页 |
| ·表列演算系统S_0 | 第12-17页 |
| ·S_0的可靠性和完全性 | 第17-18页 |
| ·优先策略 | 第18-21页 |
| 第2章 经典一阶逻辑的表列演算 | 第21-36页 |
| ·语句表列 | 第21-24页 |
| ·语句表列的可靠性与完全性 | 第24-29页 |
| ·自由变元表列 | 第29-33页 |
| ·子句表列 | 第33-36页 |
| 第3章 模态命题逻辑的表列演算 | 第36-43页 |
| ·隐式表列演算 | 第36-38页 |
| ·显式表列演算 | 第38-43页 |
| 第4章 直觉主义逻辑的表列演算 | 第43-45页 |
| 第5章 几种演算系统的比较 | 第45-49页 |
| 参考文献 | 第49-51页 |
| 后记 | 第51页 |