Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics

Giorgi Japaridze

Computability logic (CoL) provides a semantic foundation in which formulas represent interactive computational problems and validity corresponds to uniform algorithmic solvability.…