[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