シークエント計算
Sequentの日本語をシーケントにするかシークエントにするかで表記が揺れると思う
あるいは式計算とか推件計算も呼ばれる
どこかのタイミングで，Sequent計算あるいは単にSequent Calculusなどにタグを入れ替える