58 citations · 597 across the 38 of their papers we have counts for
5 papers · 1 filter
Introduction to clarithmetic III
Giorgi Japaridze
The present paper constructs three new systems of clarithmetic (arithmetic based on computability logic --- see http://www.cis.upenn.edu/~giorgi/cl.html): CLA8, CLA9 and CLA10. Sys…
Separating the basic logics of the basic recurrences
Giorgi Japaridze
This paper shows that, even at the most basic level, the parallel, countable branching and uncountable branching recurrences of Computability Logic (see http://www.cis.upenn.edu/~g…
Introduction to clarithmetic II
Giorgi Japaridze
The earlier paper "Introduction to clarithmetic I" constructed an axiomatic system of arithmetic based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and pr…
Introduction to clarithmetic I
Giorgi Japaridze
"Clarithmetic" is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) instead of…
A logical basis for constructive systems
Giorgi Japaridze
The work is devoted to Computability Logic (CoL) -- the philosophical/mathematical platform and long-term project for redeveloping classical logic after replacing truth} by computa…