No CrossRef data available.
Article contents
The logic of the reverse mathematics zoo
Published online by Cambridge University Press: 10 November 2016
Abstract
Building on previous work by Mummert et al. (2015, The modal logic of Reverse Mathematics. Archive for Mathematical54 (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.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 28 , Special Issue 3: Mind, Mechanism and Mathematics: Computability Unchained , March 2018 , pp. 412 - 428
- Copyright
- Copyright © Cambridge University Press 2016