Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

SLIWOWICA

 

Duality between Unprovability and Provability in Forward


Prelegent: Paweł Urzyczyn

2022-03-25 12:15

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.