LP's truth-value semantics (true, false, both) provides a principled framework where contradictions ...
This proposition has not been edited since the history system was added.