Algebraic aspects of structural proof theory


10Oct2019 10:00 - 11:00

PhD defence ceremony

Frederik Lauridsen studies different aspects of the interplay between structural proof theory and algebraic semantics for several non-classical propositional logics. he explores connections between proof theory and algebra as they relate to structural sequent and hypersequent calculi for intermediate and substructural logics.

F. Möllerström Lauridsen: Cuts and Completions. Algebraic Aspects of Structural Proof Theory.


Prof. Y. Venema


Dr N. Bezhanishvili


This event is open to the public.

Published by  University of Amsterdam