Algebraic aspects of structural proof theory
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.