| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| ·研究背景 | 第8-11页 |
| ·本文研究内容与全文结构 | 第11-12页 |
| 第二章 基本概念 | 第12-23页 |
| ·P 系统与占优模型 | 第12-14页 |
| ·一些逻辑规则 | 第14-16页 |
| ·一阶翻译 | 第16-19页 |
| ·占优模型的等价变换方法 | 第19-23页 |
| 第三章 一般语言下P+WD 的表示定理 | 第23-32页 |
| ·赋值层化模型 | 第23页 |
| ·一般语言下P+WD 的表示定理 | 第23-31页 |
| ·小结 | 第31-32页 |
| 第四章 一般语言下P+RC 的表示定理 | 第32-43页 |
| ·PRC 模型 | 第32-34页 |
| ·一般语言下P+RC 的表示定理 | 第34-42页 |
| ·小结 | 第42-43页 |
| 第五章 P+RC 的另一种表示定理 | 第43-50页 |
| ·PRCα模型 | 第43-45页 |
| ·P+RC 的另一种表示定理 | 第45-49页 |
| ·小结 | 第49-50页 |
| 第六章 常见结构性质在(?)_D(·) 算子下的保持性 | 第50-63页 |
| ·同构定理 | 第50-51页 |
| ·层化性在(?)_D(·) 算子下的保持性 | 第51-53页 |
| ·伪线性性在(?)_D(·) 算子下的保持性 | 第53-56页 |
| ·过滤性在(?)_D(·)算子下的保持性 | 第56-58页 |
| ·线性性在(?)_D(·)算子下的保持性 | 第58-60页 |
| ·几乎线性性在(?)_D(·) 算子下的保持性 | 第60-62页 |
| ·小结 | 第62-63页 |
| 第七章 全文总结 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-69页 |
| 在学期间的研究成果及发表的学术论文 | 第69页 |