2 papers
cs.LO2011
The countable versus uncountable branching recurrences in computability logic
Wenyan Xu, Sanyang Liu
This paper introduces a new simplified version of the countable branching recurrence of Computability Logic, proves its equivalence to the old one, and shows that the basic logic i…
cs.LO2011
Soundness and completeness of the cirquent calculus system CL6 for computability logic
Wenyan Xu, Sanyang Liu
Computability logic is a formal theory of computability. The earlier article "Introduction to cirquent calculus and abstract resource semantics" by Japaridze proved soundness and c…