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/~giorgi/cl.html) validate different principles.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment