Paraconsistent logics tolerate contradictions without trivializing all theorems, suggesting consiste...
This proposition has not been edited since the history system was added.