CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishBuilding 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.
| Titolo: | The logic of the reverse mathematics zoo | |
| Autori: | ||
| Data di pubblicazione: | 2018 | |
| Rivista: | ||
| 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. | |
| Handle: | http://hdl.handle.net/11390/1123992 | |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| logiczoo_final.pdf | Articolo in post-print | Documento in Post-print |  | Open Access Visualizza/Apri |
| logiczoo MSCS_editorial.pdf | Articolo Principale | Versione Editoriale (PDF) | Non pubblico | Accesso ristretto Richiedi una copia |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11390/1123992
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021