初期シーケント
initial sequent
$ A_1,\cdots,A_m \vdash B_1,\cdots,B_n
という
シークエント
の、
$ A_i
と
$ B_j
が同じ命題記号であるようなもの
トートロジーである
単純な例だと
$ A\vdash A
とか
$ P\land Q\land R\to S\lor Q
とか
/mrsekut-book-4007305803/047