The logic of the reverse mathematics zoo
classification
🧮 math.LO
keywords
logicmathematicsreversebuildingcalledconstitutedeductionfragments
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.