シーケントの役割、使い所

形式／非形式とレイヤー構成 - 檜山正幸のキマイラ飼育記 メモ編にシーケントが出てこないが、シーケントは構文形式なので、幾つかの使い途がある。

1. 基本推論図は、ひとつのシーケントで表現可能で、基本推論図とそのシーケントは同一視してもよい。
2. 一般の推論図のプロファイルはシーケントで表現できる。
3. 省略したリーズニング図は、シーケントと基本リーズニング図で出来ている。