| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·引言 | 第9页 |
| ·非单调后承 | 第9-10页 |
| ·占优结构与表示定理 | 第10-12页 |
| ·本文的研究内容及结构安排 | 第12-14页 |
| 第二章 基本概念 | 第14-19页 |
| ·占优后承关系 | 第14-15页 |
| ·占优模型 | 第15-16页 |
| ·一般规则和可公理化 | 第16-17页 |
| ·一阶转换 | 第17-19页 |
| 第三章 二阶可定义与(?) 0 可公理化 | 第19-33页 |
| ·预备引理 | 第19-23页 |
| ·框架语言与SGR 可定义性 | 第23-27页 |
| ·第一特征定理 | 第27-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 允许集与归约定理 | 第33-41页 |
| ·允许集 | 第33-35页 |
| ·归约定理 | 第35-40页 |
| ·本章小结 | 第40-41页 |
| 第五章 可公理化单射类的特征 | 第41-48页 |
| ·归约封闭性 | 第41-42页 |
| ·特征定理 | 第42-47页 |
| ·本章小结 | 第47-48页 |
| 第六章 总结与展望 | 第48-50页 |
| 参考文献 | 第50-53页 |
| 致谢 | 第53-54页 |
| 在学期间的研究成果 | 第54页 |