Instead of telling users to use "iSL" when they want to do intuitionistic formulas, add an explicit option called IL. Under the hood it can just call the iSL E and A functions all the same. (Eventually we'd want to separate out IL again from iSL, but for now this will work.)
Instead of telling users to use "iSL" when they want to do intuitionistic formulas, add an explicit option called IL. Under the hood it can just call the iSL E and A functions all the same. (Eventually we'd want to separate out IL again from iSL, but for now this will work.)