Dip. di Informatica
Università di Verona
Thursday, 24 April 2014, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Slides from the talk [pdf]
Abstract: Polarized bi-intuitionism is a variant of Rauszer's Brouwer-Heiting logic where intuitionistic and co-intuitionistic logic are seen as justification logics of "assertive" and "hypothetical" reasoning and thus retain their dual structures. Such a logic has a proof theory with a computational interpretation; it also appears to have categorical models of the form C × Cop, where C is a CCC, although not in the category Set.
(Joint work with Alessandro Menti.)