Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs
Crossref DOI link: https://doi.org/10.1007/s11225-018-9828-2
Published Online: 2018-09-25
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Standefer, Shawn http://orcid.org/0000-0002-3032-5290
Funding for this research was provided by:
Australian Research Council (DP150103801)
Text and Data Mining valid from 2018-09-25
Version of Record valid from 2018-09-25
Article History
Received: 28 February 2017
First Online: 25 September 2018