About

This is the Reading Seminar of the Logic Group from the Mathematical Institute, University of Bern.

Location & Time:
Mathematical Institute,
University of Bern,

Friday, 09:15 - 11:00
ExWi Room B13

The seminar will start on September 19, 2014.

Aim:
Our goal in this seminar is to understand the connection between model completions, r-Heyting categories and Pitts' uniform interpolation theorem for intuitionistic propositional logic.

Reference:
We will read Chapters 1-4 from the book: 

S. Ghilardi, M. Zawadowski, 
Trends in Logic, vol. 14
Kluwer Academic Publishers, 2002