Logic List Mailing Archive

ILLC Meeting on Intuitionism, Amsterdam (2.4.2004)

ILLC Meeting on Intuitionism

ILLC, Universiteit van Amsterdam, The Netherlands

Date and time: Friday 2 April 2004, 13.15-17.00
Location: Room 3.27, Euclides building, Pl. Muidergracht 24

Program

13.15-13.45 Joop Niekus: On the history of choice sequences
13.45-14.15 Dick de Jongh: Intuitionistic arithmetic and intuitionistic
            logic
14.15-14.30 Break
14.30-15.00 Nick Bezhanishvili: Exact formulas in intuitionistic
            propositional calculus
15.00-15.30 Chris Hennix: TBA
15.30-15.45 Break
15.45-16.15 Lex Hendriks: New operators in intuitionistic modal logic
16.15-16.45 Theo Janssen: Hintikka's independence friendly logic and
            constructivism
16.45-17.00 Closing words