Re:Back to computability logic

and, by the way, I agree with everything you say about linear logic 
in your paper.

LL is a hybrid, because it tries to do something non-classical by 
using an inherently classical underlying syntax. It is still an 
interesting logic and it has been important, because it has a complex 
proof theory and because proof nets are a very nice idea.

However, it made its time, I think. Unfortunately, there are many 
?logicians who invested a lot in that, they'll be hard to convince.

Ciao,

-Alessio