Hello,
> > I think you mean
> >
> > !U -o U
> >
> > is a theorem. The converse is not provable.
> >
> Oops... I should read more carefully before hitting send.
>
> This is of course completely wrong.
>
This is embarrassing... I was right the first time.
!U -o U
is a theorem in linear logic. It can be read as given infinitely many U, I
can get one U.
U -o !U
is not a theorem in linear logic. It can be read as given one U, I can get
infintely many U.
Sorry about the continued noise.
-Jeff
---
This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorized copying, disclosure or distribution of the material in this
e-mail is strictly forbidden._______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
