Double negation elimination in some propositional logics. Beeson, M., Veroff, R., & Wos, L. Studia Logica, 80(2-3):195-234, 2005.
Double negation elimination in some propositional logics [pdf]Pdf  bibtex   3 downloads  

Downloads: 3