Crossmark

The G4i Analogue of a G3i Sequent Calculus

Crossref DOI link: https://doi.org/10.1007/s11225-022-10008-3

Published Online: 2022-07-15

Published Print: 2022-12

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

Authors

Iemhoff, Rosalie https://orcid.org/0000-0001-9975-9604
Funding

Funding for this research was provided by:

Nederlandse Organisatie voor Wetenschappelijk Onderzoek (639.073.807)
License Information

Text and Data Mining valid from 2022-07-15

Version of Record valid from 2022-07-15
More Information

Article History

Received: 26 August 2020

Accepted: 7 May 2022

First Online: 15 July 2022