论文部分内容阅读
该篇论文包含二部分较为独立的工作:1.并行函数式语言的部分计值研究;2.一种新型的扩充逻辑及其应用于程序验证的研究.研究人员研究的扩充逻辑称为分划逻辑,它是在一阶逻辑的基础上添加了分划量词得到的.考虑到分划逻辑比二阶逻辑和不动点逻辑具有更简洁和易处理的Game语义和其它模型论性质,研究人员相信分划逻辑为描述复杂性的研究提供了统一和较好的平台.同时这也说明了,分划逻辑的验证问题也与计算复杂性的核心问题有着紧密的联系.