>>312
ちょっと考えてみたけど
A ⊢ A
A, ¬A ⊢
A, ¬A ⊢ B
で爆発律がでるから、右側は1個以上に限るってのか、0個から1個への弱化を禁止するかが候補じゃないかなあ
LJからの類推だと前者がそれっぽい気がしない？

とここまで考えてカンニングしたら左側を1個に限定しろって書いてあったわ