Crossmark

Proof-theoretic Semantics for the Logic of Bunched Implications

Crossref DOI link: https://doi.org/10.1007/s11225-025-10202-z

Published Online: 2025-08-08

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

Authors

Gu, Tao

Gheorghiu, Alexander V. https://orcid.org/0000-0002-7144-6910
Pym, David J.
Funding

Funding for this research was provided by:

Engineering and Physical Sciences Research Council (EP/R006865/1, EP/S013008/1)
License Information

Text and Data Mining valid from 2025-08-08

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

Article History

Received: 17 January 2024

First Online: 8 August 2025