Paraconsistent logics lack consensus on which inferences should fail and which survive, making proof...
This proposition has not been edited since the history system was added.