Interpreting 1st order logic in linear logic

Date: Tue, 2 Jun 92 14:36:58 +0200

  Some days ago I posted a question about Linear Logic. I got several replies
  of people interested to the question, but only two answers. I mail
  them for sake of completness.

  S. Berardi

Date: Mon, 25 May 92 15:55:54 +0200

A quick question to linear people:
what is the simplest interpretation of First Order Classical Logic in Linear
Logic known up to now?
Of course I heard of several of them, but I found all of them a bit tricky.
I consider only complete interpretations, i.e. mapping:

Phi: {First Order Classical Formulas} -> {First Order Linear Formulas}

such that A is a classical theorem iff Phi(A) is a linear theorem.
Please answer me, not to the net, since I suppose the argument be widely
known, except by me!

S. Berardi

>From murthy@... Wed May 27 14:52:24 1992

Hi, Stefano,

Every interpretation of CL into CLL that I know of factors THRU a
translation of CL into IL.  Thus, if one wants to know what equations