[Prev][Next][Index][Thread]
affine logic
Date: Fri, 15 Nov 91 17:18:08 GMT
To: linear@cs.stanford.edu
Patrick Lincoln asks:
P.S. Is "Affine Logic" the accepted name for LL with weakening?
That question should be asked to Ketonen, who had considered it
in the age BG and called it Direct Logic.
A reasonable mathematical analogy may be a good reason to
change terminology.
Credits, however, should be given: e.g., the acyclicity condition
(cfr. Danos and Regnier 1989) in the context of proof-structures
occurs first in
Ketonen and Weyhrauch 1984, A decidable fragment of predicate calculus,
Theoretical Computer Science 32, 1984, pp. 297-307
cfr also
Ketonen and Bellin, A decision procedure revisited, notes on Direct
Logic Linear Logic and its implementation, submitted to TCS in 1989;
to appear in 1992.
GLB