Double Negation Elimination expresses the classical principle that denying the denial of something is the same as asserting it. Many non-classical logics do not validate this principle.
Preview shown for the Point And Click derivation type in the LRC system