The logic of the reverse mathematics zoo.

Building on previous work by Mummert et al. (2015, The modal logic of Reverse Mathematics. Archive for Mathematical 54 (3-4) 425-437), we study the logic underlying the web of implications and non-implications 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. [ABSTRACT FROM AUTHOR]