A Games Model of Bunched Implications

DOI10.1007/978-3-540-74915-8_42MaRDI QIDQ3608439zbMATH OpenOpenAlexFDO

Authors Guy McCusker, David Pym

Publication date 5 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74915-8_42

Mathematics Subject Classification ID

Applications of game theory (91A80) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• The semantics and proof theory of the logic of bunched implications
• The Logic of Bunched Implications
• Classical BI: Its Semantics and Proof Theory
• The semantics of BI and resource tableaux

This page was built for publication: A Games Model of Bunched Implications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608439)