Michael Beeson Robert Veroff Larry Wos Double-Negation Elimination in Some Propositional Logics. 195-234 2005 80 Studia Logica 2-3 http://dx.doi.org/10.1007/s11225-005-8469-4 db/journals/sLogica/sLogica80.html#BeesonVW05