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