[Prev][Next][Index][Thread]

Re: Linear notation



   Would someone please enlighten me by completing the following sentence?

   A refutation of a linear logic proposition is a valuation of it in ...
   yielding ...

   (Bonus points for using "coherence space", but if you prefer another
   model I won't object.  Points off for "phase space" unaccompanied by
   rationale.)

   Vaughan Pratt

Date: Wed, 8 Jan 92 09:28:46+020
To: linear@cs.stanford.edu

I could easily complete the sentence using the structures described in my
TCS paper and which were described also in Gallier recent message (Fri, 03
Jan 92 11:17:33 EST). But before losing points I like a clarification:
what is wrong with Phase spaces (for the issue under discussion)?

Arnon Avron