Workshop on Algebraic and Proof Theoretic Methods in Non-Classical Logic

October 10–11 2019

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.



Speakers

Program

Venue

Organisers

Acknowledgements