Duality between Unprovability and Provability in Forward

Speaker(s)

Paweł Urzyczyn

Affiliation

MIMUW

Date

March 25, 2022, 12:15 p.m.

Information about the event

on-line

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---