The taming of recurrences in computability logic through cirquent calculus, Part I
Logic in Computer Science
2013-02-05 v5 Logic
Abstract
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/~giorgi/cl.html). The logical vocabulary of the system consists of negation, parallel conjunction, parallel disjunction, branching recurrence, and branching corecurrence. The article is published in two parts, with (the present) Part I containing preliminaries and a soundness proof, and (the forthcoming) Part II containing a completeness proof.
Keywords
Cite
@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}
}