A Games Model of Bunched Implications

DOI10.1007/978-3-540-74915-8_42zbMATH Open1179.03024OpenAlexW1749098584MaRDI QIDQ3608439FDOQ3608439

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

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

Mathematics Subject Classification ID

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

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)