Translations of classical logic
Formulas are translated as:
This is extended to sequents by .
This allows one to translate the rules of classical logic into linear logic:
It is also possible to define by:
If we define , we have and thus we obtain the same translation of proofs.