Separating the basic logics of the basic recurrences

Details Separating the basic logics of the basic recurrences Separating the basic logics of the basic recurrences

2010-07-08

arxiv.org/abs/1007.1324v3

Annals of Pure and Applied Logic 163 (2012), pp. 377-389

Computer Science

Logic in Computer Science

Scientific paper

10.1016/j.apal.2011.11.009

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.

Affiliated with

Also associated with

No associations

Rating

Separating the basic logics of the basic recurrences does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Separating the basic logics of the basic recurrences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Separating the basic logics of the basic recurrences will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-102659