Paraconsistent logics preserve ¬(p ∧ ¬p) as valid in most systems (weak explosion); they don't genui...
This proposition has not been edited since the history system was added.