Email Record: The semantics and proof theory of the logic of bunched implications /