Semantics and Proof Theory of the Logic of Bunched Implications

This is a monograph about logic. Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl''s proof theory, model theory and computation theory. However, the mono­ graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduct...