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

Re: Linear logic semantics



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