# Translations of classical logic

From LLWiki

Revision as of 23:04, 21 September 2009 by Olivier Laurent (Talk | contribs)

## T-translation

Formulas are translated as:

This is extended to sequents by .

This allows one to translate the rules of classical logic into linear logic:

### Alternative presentation

It is also possible to define by:

If we define , we have and thus we obtain the same translation of proofs.