Algebraïsche aspecten van structurele bewijstheorie

Logica

10okt2019 10.00

Promotie

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.

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

Gepubliceerd door  UvA Persvoorlichting