<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><tt><font size=2>> > I think you mean <br>
> > <br>
> > !U -o U <br>
> > <br>
> > is a theorem. The converse is not provable. <br>
> > <br>
> Oops... I should read more carefully before hitting send. <br>
> <br>
> This is of course completely wrong. <br>
> <br>
This is embarrassing... I was right the first time.</font></tt>
<br>
<br><tt><font size=2> !U -o U </font></tt>
<br>
<br><tt><font size=2>is a theorem in linear logic. It can be read as given
infinitely many U, I can get one U.</font></tt>
<br>
<br>
<br><tt><font size=2> U -o !U </font></tt>
<br>
<br><tt><font size=2>is not a theorem in linear logic. It can be read as
given one U, I can get infintely many U.</font></tt>
<br>
<br>
<br><tt><font size=2>Sorry about the continued noise.</font></tt>
<br>
<br><tt><font size=2>-Jeff</font></tt>
<br>
<br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">---</span><br>
<br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">This e-mail may contain confidential and/or privileged information. If you </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">are not the intended recipient (or have received this e-mail in error) </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">please notify the sender immediately and destroy this e-mail. Any </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">unauthorized copying, disclosure or distribution of the material in this </span><br>
<span style="font-family:sans-serif,helvetica; font-size:10pt; color:#000000">e-mail is strictly forbidden.</span><br>