Bi-intuitionism as dialogue chirality

Gianluigi Bellin

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.)

Tarmo Uustalu
Last update 16.4.2014