Relations between ex falso, tertium non datur, and double negation elimination - Pedro Francisco Valencia Vizcaíno (CoRR, 2013)