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.