Duality between Unprovability and Provability in Forward

Prelegent(ci)

Paweł Urzyczyn

Afiliacja

MIMUW

Termin

25 marca 2022 12:15

Informacje na temat wydarzenia

on-line

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

The speaker will talk about the paper

Camillo Fiorentini, Mauro Ferrari:
Duality between Unprovability and Provability in Forward
Refutation-search for Intuitionistic Propositional Logic.
ACM Trans. Comput. Log. 21(3): 22:1-22:47 (2020),

where a system is defined to derive refutations for intuitionistic propositional logic.

---