| 作者简介 | 第1-4页 |
| 算子符号说明 | 第4-5页 |
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-31页 |
| ·可计算性逻辑的背景与现状 | 第11-16页 |
| ·研究背景与意义 | 第11-13页 |
| ·研究进展与现状 | 第13-16页 |
| ·博弈语义 | 第16-23页 |
| ·形式系统CL4 | 第23-24页 |
| ·Cirquent演算系统CL8 | 第24-28页 |
| ·本文的主要工作与结构安排 | 第28-31页 |
| 第二章 Cirquent演算系统CL6的可靠性与完备性 | 第31-45页 |
| ·引言 | 第31页 |
| ·Cirquent、系统CL5及系统CL2 | 第31-35页 |
| ·形式系统CL6 | 第35-37页 |
| ·形式系统CL6的可靠性与完备性 | 第37-43页 |
| ·小结 | 第43-45页 |
| 第三章 平行复发算子与不可数分支复发算子的关系 | 第45-59页 |
| ·引言 | 第45页 |
| ·关于平行复发算子的形式系统CL15 | 第45-48页 |
| ·Cirquent的语义 | 第48-49页 |
| ·平行复发算子与不可数分支复发算子的关系 | 第49-57页 |
| ·小结 | 第57-59页 |
| 第四章 可数分支复发算子与不可数分支复发算子的关系 | 第59-79页 |
| ·引言 | 第59页 |
| ·关于可数分支复发算子的形式系统CL15 | 第59-60页 |
| ·可数分支复发算子的新定义 | 第60-66页 |
| ·Cirquent的语义 | 第66-67页 |
| ·可数分支复发算子与不可数分支复发算子的关系 | 第67-76页 |
| ·小结 | 第76-79页 |
| 第五章 可计算性逻辑的优越性 | 第79-99页 |
| ·引言 | 第79-80页 |
| ·命题逻辑公式的压缩表示及其相应的形式系统 | 第80-85页 |
| ·Cirquent演算系统CL8S的演绎定理及其证明复杂度 | 第85-91页 |
| ·基于可计算性逻辑的知识库系统 | 第91-97页 |
| ·小结 | 第97-99页 |
| 结束语 | 第99-101页 |
| 致谢 | 第101-103页 |
| 参考文献 | 第103-111页 |
| 在读博士期间撰写(发表)的论文 | 第111-113页 |
| 在读期间参加研究的科研项目 | 第113页 |
