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

Interpretations of Classical Logic in Linear Logic



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