Crossmark

Proof Systems for Super- Strict Implication

Crossref DOI link: https://doi.org/10.1007/s11225-023-10048-3

Published Online: 2023-06-05

Published Print: 2024-04

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

Authors

Gherardi, Guido

Orlandelli, Eugenio http://orcid.org/0000-0002-4021-8667
Raidl, Eric
Funding

Funding for this research was provided by:

Deutsche Forschungsgemeinschaft (390727645)
License Information

Text and Data Mining valid from 2023-06-05

Version of Record valid from 2023-06-05
More Information

Article History

Accepted: 18 March 2023

First Online: 5 June 2023