The goal of this workshop is to provide a platform for Dutch and international experts to share their knowledge and expertise on the application of algebraic and proof theoretic methods to the study of non-classical logics.
The workshop is associated with the PhD defense of Frederik Möllerström Lauridsen of the thesis Cuts and Completions: Algebraic aspects of structural proof theory at the Agnietenkapel, Oudezijds Voorburgwal 299-231 on Thursday 10 October, 2019 at 10:00.
Thursday 10 October
Friday 11 October
VenueThe venue for the workshop is Potgieterzaal (C0.01), University Library, Singel 425, Amsterdam 1012 WP.
OrganisersThe workshop is organised by Nick Bezhanishvili, Frederik Möllerström Lauridsen, and Yde Venema.