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.
|Date||10 October 2019|
|Time||10:00 - 11:00|
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.