Title: The semantics and proof theory of the logic of bunched implications
Subjects: Symbolic and mathematical Logic, Logic, symbolic and mathematical