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 Typed Forward Strict derivation type in the LRC system