## Bi-intuitionism as dialogue chirality

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 × C*^{op}, where *C* is a CCC, although not
in the category Set.

(Joint work with Alessandro Menti.)

Tarmo Uustalu

Last update 16.4.2014