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.