@misc{indiciae9ba4b6e1962f,
  title = {Relations between ex falso, tertium non datur, and double negation elimination},
  author = {Pedro Francisco Valencia Vizcaíno},
  year = {2013},
  url = {https://arxiv.org/abs/1304.0272},
  note = {Source identifier: 1304.0272}
}