シーケントの用語

とある論文で使っていた用語法：

• シーケントの左辺 ＝ antecedent〈前件〉
• シーケントの右辺 ＝ succedent〈後件〉
• イニシャルシーケント ＝ 公理シーケント

シーケントの推論規則用語：

• 上式 ＝ premises〈仮定〉
• 下式 ＝ conclusion〈結論〉

前件、後件、仮定、結論をどのレベルに割り当てるかは人それぞれ。致し方ない。

一般に、矢印で区切られた順序対に関しては、次が良いと思う。

• 矢印の根本側 ： pre-item
• 矢印の先端側 ： post-item