| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第1章 引言 | 第6-8页 |
| 第2章 公开宣告逻辑PAL | 第8-11页 |
| 2.1 公开宣告逻辑PAL的语义 | 第8-9页 |
| 2.2 公开宣告逻辑PAL的公理系统HPAL | 第9-11页 |
| 第3章 PAL的矢列演算系统 | 第11-19页 |
| 3.1 G3PAL | 第11-14页 |
| 3.2 GPAL | 第14-16页 |
| 3.3 GPAL的问题 | 第16-19页 |
| 第4章 PAL的矢列演算系统G3PALC | 第19-33页 |
| 4.1 G3PALC | 第19-21页 |
| 4.2 G3PALC结构规则的可允许性 | 第21-29页 |
| 4.3 G3PALC的可靠性和完全性 | 第29-33页 |
| 第5章 结论 | 第33-34页 |
| 参考文献 | 第34-36页 |
| 致谢 | 第36-37页 |
| 发表论文及参加课题一览表 | 第37页 |