| 摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 前言 | 第13-18页 |
| 第一章 时间化逻辑 | 第18-33页 |
| 第一节 时间化方法创立的目的 | 第18-20页 |
| 第二节 T(L)逻辑系统 | 第20-33页 |
| 一、命题时间逻辑 | 第20-23页 |
| 二、T(L)逻辑系统 | 第23-33页 |
| 第二章 纤维逻辑 | 第33-45页 |
| 第一节 创立纤维方法的目的 | 第33-37页 |
| 第二节 纤维逻辑 | 第37-45页 |
| 第三章 调制纤维逻辑 | 第45-70页 |
| 第一节 解释系统 | 第45-53页 |
| 一、符号差 | 第45-48页 |
| 二、满足与衍推 | 第48-50页 |
| 三、解释系统的调制纤维 | 第50-53页 |
| 第二节 希尔伯特系统的调制纤维 | 第53-59页 |
| 第三节 逻辑系统 | 第59-64页 |
| 一、基本概念 | 第59-62页 |
| 二、可靠性 | 第62-64页 |
| 第四节 完全性 | 第64-70页 |
| 一、关于完全性的充分条件 | 第64-65页 |
| 二、完全性的保持 | 第65-70页 |
| 第四章 隐纤维逻辑 | 第70-76页 |
| 第一节 隐纤维逻辑的语义 | 第70-72页 |
| 第二节 隐纤维逻辑的系统 | 第72-74页 |
| 第三节 经典逻辑与直觉主义逻辑的合并 | 第74-76页 |
| 第五章 极小双主体认知逻辑系统B_M~(25) | 第76-90页 |
| 第一节 双主体认知逻辑的语言 | 第76-77页 |
| 第二节 双主体认知逻辑的语义 | 第77-85页 |
| 第三节 极小双主体认知逻辑系统B_n | 第85-90页 |
| 第六章 构建双主体时间认知逻辑系统 | 第90-103页 |
| 第一节 纤维的双主体时间认知逻辑系统 | 第92-95页 |
| 第二节 时间化的双主体时间认知逻辑系统 | 第95-103页 |
| 一、时间化的双主体时间认知逻辑系统T(B_m)的语言 | 第95页 |
| 二、T(B_m)的语义 | 第95-96页 |
| 三、T(B_m)的推理系统 | 第96-97页 |
| 四、T(B_m)的可靠性定理 | 第97页 |
| 五、T(B_m)的完全性 | 第97-103页 |
| 结束语 | 第103-104页 |
| 参考文献 | 第104-110页 |
| 致谢 | 第110-111页 |
| 个人简历及上学期间科研成果 | 第111页 |