Buy Me a Coffee at ko-fi.com

Cut rule

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

Pronunciation
/kʌt ruːl/
/kət rul/