Linked from

The 3 pages that link to Cut-elimination theorem, each with the reason it gives.

• Sequent calculusRelated: It reveals that cut can shorten proofs without adding derivable conclusions.

• Proof theoryRelated: It is a central structural result about transforming proofs into simpler forms.

• Craig interpolationRelated: Cut elimination often proves interpolation, but it is a proof method rather than the interpolation property itself.