Semantical Analysis of the Logic of Bunched Implications
Crossref DOI link: https://doi.org/10.1007/s11225-022-10028-z
Published Online: 2023-01-31
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gheorghiu, Alexander V. http://orcid.org/0000-0002-7144-6910
Pym, David J.
Text and Data Mining valid from 2023-01-31
Version of Record valid from 2023-01-31
Article History
Received: 28 March 2022
Accepted: 17 November 2022
First Online: 31 January 2023