+++
title = "Cut elimination"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4c2"]
forwardlinks = ["4c2b"]
zettelid = "4c2a"
+++

Cut elimination is a rule that is present in Gentzen's sequent calculus
(LK).

$$ \frac{\Gamma \vdash \Delta, A \quad A, \Sigma \vdash \Lambda}{\Gamma, \Sigma\vdash \Delta, \Lambda} $$