I thought the rewrite made it clear that issues with → and explosion were separate issues (though both different for relevance logics versus classical logic)
I thought the rewrite made it clear that issues with → and explosion were separate issues (though both different for relevance logics versus classical logic)