Arend Heyting Stichting

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