Explore relationships

Cut-elimination

The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result establishing the significance of the sequent calculus.

Use + to expand a branch. Click a topic name to open its summary.