Crossmark

A Proof-Theoretic Note on the Independence of Intuitionistic Connectives

Crossref DOI link: https://doi.org/10.1007/s11225-025-10215-8

Published Online: 2025-10-30

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

Authors

Brauer, Ethan https://orcid.org/0000-0002-3761-6103
Funding

Funding for this research was provided by:

H2020 European Research Council (101054836)
License Information

Text and Data Mining valid from 2025-10-30

Version of Record valid from 2025-10-30
More Information

Article History

Received: 28 November 2024

First Online: 30 October 2025