cut rule

inference rule, generalisation of the modus ponens, in sequent calculus

en-US/ˈkʌt ˈɹul/
en-GB/ˈkʌt ˈɹuːl/

Categories:

rule of inferenceinference