Arend Heyting Stichting
Main Page Navigation
Home
Arend Heyting Lectures
Events
Heyting Day 2015
Meeting on Kripke models and Categorical Foundations of Intuitionistic logic
Programme
Contact
Intuitionism in 2012
Programme
Venue
Contact
About Heyting
Board
Events
Heyting Day 2015
Meeting on Kripke models and Categorical Foundations of Intuitionistic logic
Programme
Contact
Intuitionism in 2012
Programme
Venue
Contact
Programme
Doelenzaal, Universiteitsbibliotheek
09.45-10.00
Introduction
10.00-11.15
Arend Heyting Lecture
Ieke Moerdijk
How categories and functors entered logic
11.15-11.30
Coffee break
11.30-12.15
Benno van den Berg
The Herbrand Topos
12.15-14.00
Lunch
14.00-15.00
Bob Lubarsky
Kripke Models: Better Than Topological Models?
15.00-15.45
Dick de Jongh
I-valuations, Kripke models and Heyting Algebras
15.45-16.15
Coffee break
16.15-17.30
Arend Heyting Lecture
Johan van Benthem
Information Dynamics in Intuitionistic Logic