Cut Elimination in Classical Linear Logic
This example specifies
the
formulas
of classical linear logic
the
inference rules
of classical linear logic using a two-sided formulation with linear and modal zone on each side
the
cut elimination algorithm
on this formulation
[
formulas
|
inference rules
|
cut elimination algorithm
||
cut elimination
||
LLF
]
Frank Pfenning