# Intuitionistic Logic and Intuitionistic Set Theories

**Date**: Monday 13 February 2017, 14:00 – 15:30**Location**: Mathematics Level 8, MALL 1 & 2, School of Mathematics**Type**: Logic, Seminars, Pure Mathematics**Cost**: Free

#### 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*