Cut rule

The cut rule, also known as the cut-elimination theorem, is a fundamental concept in proof theory and logic. It pertains to systems of deduction, particularly in sequent calculus and natural deduction. In formal logic, the "cut rule" allows for the introduction of intermediate statements in proofs, facilitating the derivation of conclusions from premises.