TY  - RPRT
TI  - Double-Negation Elimination in Some Propositional Logics
AU  - Michael Beeson
AU  - Robert Veroff
AU  - Larry Wos
PY  - 2003
UR  - https://arxiv.org/abs/cs/0301026
ID  - cs/0301026
ER  -