Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

2 April 2004, ILLC Meeting on Intuitionism

Date: Friday 2 April 2004
Time: 13:15-17:00
Location: Room 3.27, Euclides building, Pl. Muidergracht 24

It happens that at the ILLC there are presently 6 persons who have some actual relation with intuitionism. A meeting is organized in which they present their interests in an introductory way to each other; other ILLC members are welcome as well.

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
15.30-15.45 Break
15.45-16.15 Lex Hendiks: 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

Please note that this newsitem has been archived, and may contain outdated information or links.