Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Sumit Sourabh onderzoekt de zogenoemde correspondentie en canoniciteit in de niet-klassieke logica. In het bijzonder bekijkt hij de Sahlqvist-correspondentietheorie, die oorspronkelijk ontwikkeld is voor klassieke modale logica en een systematische vertaling geeft tussen klassieke modale logica en eerste-orde-logica.

Kerngegevens van evenement Correspondentietheorie in niet-klassieke logica
Datum 9 september 2015
Tijd 13:00
Locatie Aula - Oude Lutherse kerk
Ruimte Locatie

Dhr. S. Sourabh: Correspondence and Canonicity in Non-Classical Logic. Promotor is prof. dr. Y. Venema. Copromotoren zijn dr. A. Palmigiano (TU Delft) en dr. N. Bezhanishvili. 

Deelname

Toegang vrij

Aula - Oude Lutherse kerk

Ruimte Locatie

Singel 411
1012 XM Amsterdam