Can we say classical logic has DNE axiom as well because it's equivalent to LEM?

275 Views Asked by At

Since according to this page, law of the excluded middle is an axiom of classical logic, Does the paragraph starting with "Classical logic can be characterized by a number of equivalent axioms:" on page 2 of this doc mean that, for instance since double negation elimination is equivalent to LEM then it's also an axiom of classical logic?