There are definitely other ways to handle this same problem, I was just pointing out one counterintuitive conclusion of classical inference rules as one motivat

There are definitely other ways to handle this same problem, I was just pointing out one counterintuitive conclusion of classical inference rules as one motivation for non-classical logics. And, since both of your examples also involve non-classical logics, I think we generally agree that there is motivation here (setting aside the viability of your solutions)