Relations between ex falso, tertium non datur, and double negation elimination
We show which implicational relations hold between the three principles ex falso sequitur quodlibet, tertium non datur, and double negation elimination, on the basis of minimal logic.
math.LO↗