We propose a refutation calculus to check the unprovability of a formula in GödelDummett logics. From refutations we can directly extract countermodels for unprovable formulas, moreover the calculus is designed so to support a forward proof-search strategy that can be understood as a top-down construction of a model.
Forward refutation for Gödel-Dummett Logics / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2022 : Italian Conference on Computational Logic / [a cura di] R. Calegari, G. Ciatto, A. Omicini. - [s.l] : CEUR Workshop Proceedings, 2022 Sep. - pp. 171-185 (( Intervento presentato al 37. convegno CILC tenutosi a Bologna nel 2022.
Forward refutation for Gödel-Dummett Logics
C. Fiorentini;
2022
Abstract
We propose a refutation calculus to check the unprovability of a formula in GödelDummett logics. From refutations we can directly extract countermodels for unprovable formulas, moreover the calculus is designed so to support a forward proof-search strategy that can be understood as a top-down construction of a model.
| File | Dimensione | Formato | |
|---|---|---|---|
|
paper_18.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
1.26 MB
Formato
Adobe PDF
|
1.26 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
