Glivenko sequent classes and constructive cut elimination in geometric logics
Crossref DOI link: https://doi.org/10.1007/s00153-022-00857-z
Published Online: 2022-12-08
Published Print: 2023-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fellin, Giulio
Negri, Sara
Orlandelli, Eugenio http://orcid.org/0000-0002-4021-8667
Funding for this research was provided by:
Academy of Finland (1308664)
Text and Data Mining valid from 2022-12-08
Version of Record valid from 2022-12-08
Article History
Received: 14 January 2022
Accepted: 11 November 2022
First Online: 8 December 2022