Intuitionistic Logic and Intuitionistic Set Theories

Cesare Gallozzi, University of Leeds. Part of the postgraduate logic seminar series.

In this talk I will provide a short introduction to intuitionistic logic, trying to convince the audience that it makes (more) sense (than classical logic). I will explain what happens when we start from ZFC and change the underlying logic from classical to intuitionistic, then I will present Myhill's Intuitionistic ZF (IZF) and Aczel's Constructive Set Theory (CZF).

Cesare Gallozzi, University of Leeds