Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Crossref DOI link: https://doi.org/10.1007/s10992-021-09639-z
Published Online: 2021-11-20
Published Print: 2022-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cobreros, Pablo
La Rosa, Elio
Tranchini, Luca http://orcid.org/0000-0003-2844-129X
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (TR1112/4-1)
Eberhard Karls Universität Tübingen
Text and Data Mining valid from 2021-11-20
Version of Record valid from 2021-11-20
Article History
Received: 16 June 2020
Accepted: 21 September 2021
First Online: 20 November 2021