system of proof
دستگاه برهان
modus ponens
قیاس استثنایی
قاعده برش
cut rule
derivation system
دستگاه اشتقاق
برهان خلف
reducto ad absurdum
قواعد اشتقاق
derivation rules
elimination rule
قاعده حذف
complexity of proof
پیچیدگی برهان
cut-elimination
حذف برش