58 citations · 597 across the 38 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 10 cited
The taming of recurrences in computability logic through cirquent calculus, Part II
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…
cs.LO2011★ 11 cited
A new face of the branching recurrence of computability logic
Giorgi Japaridze
This letter introduces a new, substantially simplified version of the branching recurrence operation of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and prov…