cut rule

Summary

cut rule is a rule of inference^[1]. It draws 21 Wikipedia views per month (rule_of_inference category, ranking #11 of 13).^[2]

Key Facts

• cut rule's instance of is recorded as rule of inference^[3].
• cut rule's subclass of is recorded as inference^[4].
• cut rule's part of is recorded as sequent calculus^[5].
• cut rule's said to be the same as is recorded as cut^[6].
• cut rule's Freebase ID is recorded as /m/012zdq4g^[7].
• cut rule's defining formula is recorded as \cfrac{\Gamma \vdash A, \Delta \qquad \Gamma', A \vdash \Delta'} {\Gamma, \Gamma' \vdash \Delta, \Delta'}^[8].
• cut rule's admissible rule in is recorded as classical logic^[9].
• cut rule's admissible rule in is recorded as intuitionistic logic^[10].
• cut rule's studied by is recorded as proof theory^[11].
• cut rule's nLab ID is recorded as cut rule^[12].
• cut rule's maintained by WikiProject is recorded as WikiProject Mathematics^[13].
• cut rule's Microsoft Academic ID is recorded as 2779200002^[14].

Why It Matters

cut rule draws 21 Wikipedia views per month (rule_of_inference category, ranking #11 of 13).^[2]