You are not logged in |
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.
