The logic of the reverse mathematics zoo
From MaRDI portal
Publication:6268741
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 page was built for publication: The logic of the reverse mathematics zoo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6268741)
