A logic that forbids DS must either reject classical tautologies like (A ∨ ¬A) or accept true conclu...
This proposition has not been edited since the history system was added.