In this extended abstract we review some recent work about the application of the inverse method to refute formulas in Intuitionistic Propositional Logic.
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic / C. Fiorentini, M. Ferrari (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano , A. Rescigno. - Prima edizione. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 230-235 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic
C. Fiorentini;M. Ferrari
2020
Abstract
In this extended abstract we review some recent work about the application of the inverse method to refute formulas in Intuitionistic Propositional Logic.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2020_ICTCS_ForwardProofSearchIPL.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
423.2 kB
Formato
Adobe PDF
|
423.2 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
