58 citations · 597 across the 38 of their papers we have counts for
Showing 2007Show all
3 papers · 1 filter
cs.LO2007★ 58 cited
Sequential operators in computability logic
Giorgi Japaridze
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a semantical platform and research program for redeveloping logic as a formal theory of computability, as…
cs.LO2007★ 40 cited
Cirquent calculus deepened
Giorgi Japaridze
Cirquent calculus is a new proof-theoretic and semantic framework, whose main distinguishing feature is being based on circuits, as opposed to the more traditional approaches that…
cs.LO2007★ 22 cited
Many concepts and two logics of algorithmic reduction
Giorgi Japaridze
Within the program of finding axiomatizations for various parts of computability logic, it was proved earlier that the logic of interactive Turing reduction is exactly the implicat…