 ##  [Élimination des Coupures](/fr/node/59190) 

  ##  [Élimination des Coupures](https://natural.quantumdictionary.io/fr/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 &amp; Formal Sciences Dictionary**

 
Définition

Une procédure en théorie des preuves qui transforme une preuve en calcul des séquents (ou en déduction naturelle) afin de supprimer les inférences de coupure (applications de la règle 'cut'), produisant une preuve sans coupure satisfaisant typiquement la propriété des sous-formules.

 
 ##  [Élimination des Coupures](https://mathlogic.quantumdictionary.io/fr/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 &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Définition

La transformation de preuve qui supprime les inférences de coupure (applications de la règle cut) d'une preuve de style calcul des séquents pour produire une dérivation sans coupure du même séquent final, préservant la démontrabilité tout en modifiant souvent la structure et la taille de la preuve.