The taming of recurrences in computability logic through cirquent calculus, Part I

Giorgi Japaridze

This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic (see http://www.cis.upenn.edu/~giorg…