[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