証明論の用語

• deductive/deduction system
• sequent
• Gentzen system
• logical rules, structural rules
• one-sided sequent
• Exchange, Weakening(Thinning) Contraction
• left rule, right rule
• introduction rule, elimination rule
• sequentのantecedent 前例、先例、先立つ事情、既述の事項、前項
• sequentのsuccedent 続いて起こる（こと）
• deduction rule
• premize, conclusion （deduction ruleのとき）
• n-premize deduction rule (s1, ..., sn |- s)

竹内さんは、

• term, formula （原語のまま使用）
• 式（sequent）
• 式の左辺(antecedent)、右辺(succedent)
• 推論図 (deduction rule)
• 上式 (premizes)、下式 (conclusion)
• 三段論法＝cut
• provable
• 始式（proof treeのleaf）