Document is current

Any future updates will be listed below

Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts

Crossref DOI link: https://doi.org/10.1007/s10849-025-09435-x

Published Online: 2025-09-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

About CrossMark