Interpretations of Classical Logic in Linear Logic

• To: types, logic
• Subject: Interpretations of Classical Logic in Linear Logic
• From: stefano@di.unito.it ( Stefano Berardi )
• Date: Wed, 27 May 92 06:23:37 EDT
• Sender: meyer@theory.lcs.mit.edu

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

• Prev: Bibliography
• Next: re:braids in linear logic
• Index(es):
  • Main
  • Thread