Negation introduction via denial avoids classical logic's commitment to abstract falsum, grounding l...
This proposition has not been edited since the history system was added.