IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishWe introduce a natural deduction calculus for the G¨odelDummett Logic LC semantically characterized by linearly ordered Kripke models. Our calculus is inspired by an analogous calculus for Intuitionistic logic (IPL) internalizing mechanisms to reduce the proof-search space that has been used to define a goal-oriented proof-search procedure for IPL. In this paper we present the calculus for LC and we sketch its soundness and completeness.
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri , S. Perri, E. Zumpano. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 91-104 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic nel 2020.
| Titolo: | A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms |
| Autori: | |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
| Data di pubblicazione: | 2020 |
| URL: | http://ceur-ws.org/Vol-2710/paper6.pdf |
| Tipologia: | Book Part (author) |
| Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 2020_CILC_NaturalDeductionGoedelLogic.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |
Copyright © 2021