对核证逻辑的研究
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-11页 |
| 引言 | 第11-18页 |
| 第一章 核证逻辑概述 | 第18-44页 |
| 第一节 哥德尔的建议 | 第18-20页 |
| 第二节 核证逻辑早期的发展 | 第20-26页 |
| 第三节 核证逻辑的系统 | 第26-34页 |
| 第四节 核证逻辑的经典可能世界模型 | 第34-42页 |
| 一、姆克尔特切夫模型 | 第34-36页 |
| 二、菲廷模型 | 第36-38页 |
| 三、模式模型 | 第38-42页 |
| 第五节 核证逻辑的保守性 | 第42-44页 |
| 第二章 与其它逻辑组合的核证逻辑与多主体核证逻辑 | 第44-66页 |
| 第一节 LPP和GLA | 第44-48页 |
| 第二节 S4LP和S4LPN | 第48-50页 |
| 第三节 核证知识系统 | 第50-58页 |
| 第四节 混合-JT、否定逻辑和核证摹状逻辑 | 第58-61页 |
| 第五节 对泥孩难题的解决 | 第61-66页 |
| 第三章 量化核证逻辑 | 第66-85页 |
| 第一节 QLP | 第66-71页 |
| 第二节 量化的菲廷模型 | 第71-74页 |
| 第三节 FOLP | 第74-77页 |
| 第四节 FOLP的菲廷模型 | 第77-79页 |
| 第五节 一种更为自然的系统QLP~* | 第79-85页 |
| 第四章 核证逻辑的表列演算 | 第85-101页 |
| 第一节 前期的研究 | 第85-89页 |
| 第二节 芬格尔的进路 | 第89-94页 |
| 第三节 当前的发展 | 第94-101页 |
| 第五章 核证逻辑的实现 | 第101-134页 |
| 第一节 传统实现算法 | 第101-104页 |
| 第二节 后来的一些发展 | 第104-107页 |
| 第三节 对应表列演算的实现 | 第107-117页 |
| 第四节 扩展到FOLP的实现 | 第117-134页 |
| 一、准实现 | 第117-118页 |
| 二、一些基本的概念 | 第118-122页 |
| 三、准实现到实现的算法 | 第122-125页 |
| 四、算法的正确性证明 | 第125-134页 |
| 结语 | 第134-135页 |
| 参考文献 | 第135-143页 |
| 致谢 | 第143-144页 |
| 个人简历 | 第144页 |
