Algebraic aspects of structural proof theory

Logic

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.

Supervisor

Prof. Y. Venema

Co-supervisor

Dr N. Bezhanishvili

Entrance

This event is open to the public.

Published by  University of Amsterdam