##  [Schnittelimination (Cut-Elimination)](/de/node/59190) 

  ##  [Schnittelimination (Cut-Elimination)](https://natural.quantumdictionary.io/de/node/59191) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Ein Verfahren in der Beweistheorie, das einen Sequenz- (oder natürliche Deduktions-)Beweis so umformt, dass Cut‑Schlüsse (Anwendungen der ‚cut‘‑Regel) entfernt werden und ein cut‑freier Beweis mit der Unterformel‑Eigenschaft entsteht.

 

 

 

 

 





 

 



 ##  [Schnittelimination (Cut-Elimination)](https://mathlogic.quantumdictionary.io/de/node/59922) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Die Beweistransformation, die Cut-Inferenzen (Anwendungen der Cut-Regel) aus einem sequentenkalkülartigen Beweis entfernt, um eine cutfreie Herleitung desselben Endsequents zu erzeugen, wobei die Beweisbarkeit erhalten bleibt, die Struktur und Größe des Beweises sich jedoch oft ändern.