The subformula property of natural deduction derivations and analytic cuts
From MaRDI portal
Publication:5014060
DOI10.1093/jigpal/jzaa017zbMath1494.03090OpenAlexW3036195698MaRDI QIDQ5014060
Publication date: 3 December 2021
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzaa017
Related Items (2)
The elimination of maximum cuts in linear logic and BCK logic ⋮ Maximum segments as natural deduction images of some cuts
This page was built for publication: The subformula property of natural deduction derivations and analytic cuts
