[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