Nie jesteś zalogowany |
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.
