可计算性逻辑中通过圈演算驯服递归，第一部分
计算机科学中的逻辑
2013-02-05 v5 逻辑
摘要
本文构建了一个圈演算系统，并证明了其相对于可计算性逻辑语义的可靠性和完备性（参见 http://www.cis.upenn.edu/~giorgi/cl.html）。该系统的逻辑词汇包括否定、并行合取、并行析取、分支递归和分支共递归。本文分两部分发表，（本）第一部分包含预备知识和可靠性证明，而（即将发表的）第二部分包含完备性证明。
引用
@article{arxiv.1105.3853,
title = {The taming of recurrences in computability logic through cirquent calculus, Part I},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:1105.3853},
year = {2013}
}