toIPA
Home
Blog
Category
Cut rule
inference rule, generalisation of the modus ponens, in sequent calculus
Pronunciation
/kʌt ruːl/
/kət rul/
Categories
rule of inference
inference