58 citations · 597 across the 38 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 3 cited
Build your own clarithmetic II: Soundness
Giorgi Japaridze
Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational pro…
cs.LO2015★ 4 cited
Build your own clarithmetic I: Setup and completeness
Giorgi Japaridze
Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational pro…