diff options
Diffstat (limited to 'content/zettel/4c2a.md')
| -rw-r--r-- | content/zettel/4c2a.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/content/zettel/4c2a.md b/content/zettel/4c2a.md new file mode 100644 index 0000000..b9b6be6 --- /dev/null +++ b/content/zettel/4c2a.md @@ -0,0 +1,14 @@ ++++ +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} $$ |