>>740
＞この辺りの議論の際には「シーケント計算」は形式体系LK,LJおよび類似の体系を指す単語、
＞つまり「形式体系の名称、総称」として使うのが妥当だと思うが、

＞よく読み返したら「シーケント計算」という単語の使い方の問題か、と思い至っただけです。

こちらは最近出版された戸次の数理論理学や上江洲の述語論理・入門などのシーケント計算に準拠している。