Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!

Frederik Lauridsen bestudeert verschillende aspecten van het samenspel tussen structurele bewijstheorie en algebraïsche semantiek voor verschillende niet-klassieke propositionele logica’s. Hij verkent verbanden tussen bewijstheorie en algebra zoals deze betrekking hebben op structurele sequenten en hypersequenten calculi voor intermediaire en substructurele logica’s.

Detail Summary
Datum 10 oktober 2019
Tijd 10:00
Locatie Agnietenkapel

Op zoek naar een proefschrift? Kijk dan hier.

Dhr. F. Möllerström Lauridsen: Cuts and Completions. Algebraic Aspects of Structural Proof Theory. Promotor is prof. dr. Y. Venema. Copromotor is  dr. N. Bezhanishvili.

Deelname

Toegang vrij

Download de samenvatting (PDF)
Agnietenkapel
Agnietenkapel

Oudezijds Voorburgwal 229 - 231
1012 EZ Amsterdam