Re: Linear notation

• To: types
• Subject: Re: Linear notation
• From: aa%taurus.bitnet@taunivm.tau.ac.il
• Date: Sat, 11 Jan 92 20:41:14 EST
• In-Reply-To: Vaughan Pratt's message of Tue, 07 Jan 92 11:57:49 EST <199201071657.AA08402@stork.lcs.mit.edu>
• Sender: meyer@theory.lcs.mit.edu

   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

• Prev: Kripke paper
• Next: Linear consequences
• Index(es):
  • Main
  • Thread