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.



Thursday 10 October

14:20–14:30 Opening

14:30–15:15 Rosalie Iemhoff Uniform Interpolation via Proof Systems

15:15–16:00 Olim Tuyt Structural characterization of (finite) commutative idempotent involutive residuated lattices

16:00–16:30 Coffee break

16:30–17:15 Gianluca Grilletti Algebraic semantics for inquisitive logic

17:15–18:00 Nick Galatos Weakening relation algebras as residuated Heyting algebras

Friday 11 October

09:00–09:45 Frederik Lauridsen MacNeille and hyper-MacNeille completions of Heyting algebras

09:45–10:30 George Metcalfe One-Variable Fragments of Many-Valued Logics

10:30–11:00 Coffee break

11:00–11:45 Nick Bezhanishvili Citkin's characterization of hereditarily structurally complete intermediate logics via Esakia duality


The venue for the workshop is Potgieterzaal (C0.01), University Library, Singel 425, Amsterdam 1012 WP.


The workshop is organised by Nick Bezhanishvili, Frederik Möllerström Lauridsen, and Yde Venema.


This workshop is being made possible by financial support from the Netherlands Organisation for Scientfic Research and the Institute for Logic, Language and Computation.