Gaggles, Gentzen and Galois: How to display your favourite substructural logic

R. Goré
DOI: https://doi.org/10.1093/jigpal/6.5.669
1998-09-01
Abstract:
What problem does this paper attempt to address?