The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

From the reviews:

"This monograph presents a mathematical theory of the logic of BI ... . Due to the author’s clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and computer scientists. In particular, it could be useful to graduate students, specialists and researchers in the field of applications of logic in programming. In addition to its other qualities, this book also presents a significant contribution to a new area of mathematical logic―fibring logic ... .” (Branislav Boricic, Mathematical Reviews, Issue 2008 i)