Connexive Gentzen

S. McCall
DOI: https://doi.org/10.1093/jigpal/jzu019
Abstract:
What problem does this paper attempt to address?