Without VSP-like restrictions, explosion and disjunctive syllogism permit deriving any conclusion fr...
This proposition has not been edited since the history system was added.