Relations between ex falso, tertium non datur, and double negation elimination
Logic
2013-04-02 v1 Logic in Computer Science
Abstract
We show which implicational relations hold between the three principles ex falso sequitur quodlibet, tertium non datur, and double negation elimination, on the basis of minimal logic.
Keywords
Cite
@article{arxiv.1304.0272,
title = {Relations between ex falso, tertium non datur, and double negation elimination},
author = {Pedro Francisco Valencia Vizcaíno},
journal= {arXiv preprint arXiv:1304.0272},
year = {2013}
}
Comments
9 pages