The logic of the reverse mathematics zoo
Logic
2018-12-06 v1
Abstract
Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathematics zoo. We introduce a tableaux system for this logic and natural deduction systems for important fragments of the language.
Cite
@article{arxiv.1512.08035,
title = {The logic of the reverse mathematics zoo},
author = {Giovanna D'Agostino and Alberto Marcone},
journal= {arXiv preprint arXiv:1512.08035},
year = {2018}
}
Comments
16 pages