>>13186184How can it go against your logic if it's a subset of classical logic calculus.
It can only start going against your classical intuition once you add laws that break with.
>>13186311Probably introduction (i) and elimination (e)
E.g. conjunction introduction is that from "A" and "B" you can derive "A and B" and the (left) elimination is that from "A and B" you can derive "A"
