We propose a refutation calculus to check the unprovability of a formula in Gödel-Dummett 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
Fiorentini C.
;Ferrari M.
2022-01-01
Abstract
We propose a refutation calculus to check the unprovability of a formula in Gödel-Dummett 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 in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ferfio-Forward_refutation_for_Gödel-Dummett_Logics-cilc-2022.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
1.26 MB
Formato
Adobe PDF
|
1.26 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
