Metadata
Author: WikiMatrix
Data
English[en]
For instance, in a sequent calculus where cut elimination holds, the cut rule is admissible.
Spanish[es]
Por ejemplo, en un cálculo secuencial donde se mantiene el corte de eliminación, es admisible la regla de corte.