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.
The logic of the reverse mathematics zoo
D'AGOSTINO, GIOVANNA
;MARCONE, ALBERTO
2018-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
logiczoo_final.pdf
accesso aperto
Descrizione: Articolo in post-print
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
152.19 kB
Formato
Adobe PDF
|
152.19 kB | Adobe PDF | Visualizza/Apri |
|
logiczoo MSCS_editorial.pdf
non disponibili
Descrizione: Articolo Principale
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
207.26 kB
Formato
Adobe PDF
|
207.26 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
