Re: Computability Logic

Dear  Alessio and Kai (and dear everyone else),

If KS minus atomic contraction works, this would
indeed be great. The soundness is obvious. If there is no
completeness, I am really curious to see what else is
missing in linear logic on top of weakening and medial.

> But what does your intuition say: is Blass'
> principle in some sense the only formula provable in M
> that is not provable in affine logic?

My very vague recollection is that once I came across
something, but cannot remember what it was. And I may
have been wrong in thinking that the  `something' was not
a trivial variation of medial, anyway. So, I have nothing helpful
to tell you at this point.

- Giorgi
http://www.cis.upenn.edu/~giorgi/cl.html