Re: Linear logic semantics

• To: types
• Subject: Re: Linear logic semantics
• From: aa%taurus.BITNET@mitvma.mit.edu
• Date: Mon, 23 Dec 91 10:47:47 EST
• Sender: meyer@theory.lcs.mit.edu

Date: Mon, 23 Dec 91 10:14:18+020
Comments: If you have trouble reaching this host as math.tau.ac.il
        Please use the old address: user@taurus.bitnet

A correction to my last message: the interpretation of ~ in the various special
models I used is
  ~a=c-a (where c is fixed in advance, but is not necessarily 0)
In particular the interpretation of "1"  (i.e. ~0) is c.

Another note: obviously, the rational numbers or the reals can also be used here
in a similar way.

Arnon Avron

• Prev: Semantical considerations on linear logic notation
• Next: Linear Notation, and good will to all
• Index(es):
  • Main
  • Thread