Author: Urs Format: MarkdownItexadded some more cross-links
and pointer to:
* Pedro Francisco, Valencia VizcaĆno, *Relations between ex falso, tertium non datur, and double negation elimination* [[arXiv:1304.0272](https://arxiv.org/abs/1304.0272)]
<a href="https://ncatlab.org/nlab/revision/diff/ex+falso+quodlibet/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/ex+falso+quodlibet/3">v3</a>, <a href="https://ncatlab.org/nlab/show/ex+falso+quodlibet">current</a>
added some more cross-links
and pointer to:
Pedro Francisco, Valencia VizcaĆno, Relations between ex falso, tertium non datur, and double negation elimination [arXiv:1304.0272]