TY  - RPRT
TI  - Relations between ex falso, tertium non datur, and double negation elimination
AU  - Pedro Francisco Valencia Vizcaíno
PY  - 2013
UR  - https://arxiv.org/abs/1304.0272
ID  - 1304.0272
ER  -