Crossmark

Proof Theory for Tight Apartness

Crossref DOI link: https://doi.org/10.1007/s11225-025-10201-0

Published Online: 2025-07-08

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

Authors

Maffezioli, Paolo https://orcid.org/0000-0001-9832-924X
Funding

Funding for this research was provided by:

Agencia Estatal de Investigación (Ramón y Cajal research grant RYC2021-033091)
License Information

Text and Data Mining valid from 2025-07-08

Version of Record valid from 2025-07-08
More Information

Article History

Received: 28 October 2024

First Online: 8 July 2025