Gaggles, Gentzen and Galois: how to display your favourite substructural logic
Rajeev Prabhakar Goré · Logic Journal of IGPL · 1998
We show how to obtain cut-free Display Calculi for algebraic logics characterised by the Gaggle Theory of Dunn. These Display Calculi automatically inherit the Kripke-style relational semantics associated with gaggles thereby completing a unified, proof-theoretic, algebraic and model-theoretic picture for these logics. Keywords:display logic, gaggle theory, proof theory, substructural logics