Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

23 January 2004, Colloquium on Mathematical Logic, Sergei Artemov

Speaker: Sergei Artemov (New York)
Title: Reflexive Combinatory Logic
Date: Friday 23 January 2004
Time: 16:00-17:00
Location: <em>(Changed!)</em>
Opzomerkamer, Academiegebouw, Domplein 29, Utrecht

We use de Jongh Theorem in a combination with the usual methods of the logic of proofs to establish the completeness of the basic intuitionistic logic of proofs w.r.t. the Heyting arithmetic.

For more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

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