Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff, Larry Wos

This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none…