命题可计算性逻辑 II
计算机科学中的逻辑
2011-04-15 v2 计算机科学与博弈论
逻辑
摘要
可计算性逻辑是关于计算任务与资源的形式理论。其公式表示交互式计算问题，逻辑算子代表对计算问题的操作，而公式的有效性被理解为始终存在算法解的问题模式。关于该主题的一个综合性在线资源可在 http://www.cis.upenn.edu/~giorgi/cl.html 获取。先前的文章“命题可计算性逻辑 I”证明了可计算性逻辑的（在某种意义上的）最小非平凡片段 CL1 的可靠性与完备性。本文将该结果扩展至表达能力显著更强的命题系统 CL2。使 CL2 比 CL1 表达能力更强的是其语言中存在两类原子：代表基本计算问题（即谓词）的基本原子，以及代表任意计算问题的一般原子。CL2 保守地扩展了 CL1，后者仅仅是前者的无一般原子片段。
引用
@article{arxiv.cs/0406037,
title = {Propositional Computability Logic II},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:cs/0406037},
year = {2011}
}
备注
25 pages