Forward proof-search and countermodel construction in intuitionistic propositional logic
Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Fiorentini, C.; Ferrari, M.
Link alla scheda completa:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: