>>311
ゲンツェンのシークエント計算ではいかんのかい?
そこの構造規則っていうのがあるだろ?
それ見直すってのはどうよ