Re: Back to computability logic

Hi Alessio and everybody.

I do not check my mail very often in these summer days, either. 
And I could not make it to Lisbon, unfortunately. Thank you for your comments. 

. Question: how does cut elimination for CL5 look like? 
. Of course, one has to design a cut rule, but I guess 
. the obvious degeneration of your and-introduction would 
. do fine.

Yes, it'd be interesting to look into this. At this point all I know 
(semantically) is that the system is closed under the standard version 
of cut ;-)
 
A few typos (one perhaps misleading) have been corrected in the paper. 
The new version is at the same URL: 
http://arxiv.org/abs/math.LO/0506553

Ciao,
Giorgi