>>16840855
The law of excluded weakens a system, and its exclusion has nothing to do with paraconsistency, its just intuitionistic logic.