For best experience please turn on javascript and use a modern browser!
NL

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.

Detail Summary
Date 10 October 2019
Time 10:00 - 11:00

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.