The Semantics and Proof Theory of the Logic of Bunched Implications

List of Figures.- List of Tables.- Preface.- Acknowledgments.- Foreword.- Introduction.- Part I: Propositional BI. 1. Introduction to Part I. 2. Natural Deduction for Propositional BI. 3. Algebraic, Topological, Categorical. 4. Kripke Semantics. 5. Topological Kripke Semantics. 6. Propositional BI as a Sequent Calculus. 7. Towards Classical Propositional BI. 8. Bunched Logical Relations. 9. The Sharing Interpretation, I.- Part II: Predicate BI. 10. Introduction to Part II. 11. The Syntax of Predicate BI. 12. Natural Deduction & Sequent Calculus For Predicate BI. 13. Kripke Semantics for Predicate BI. 14. Topological Kripke Semantics for Predicate BI. 15. Resource Semantics, Type Theory & Fibred Categories. 16. The Sharing Interpretation, II.- Bibliography.- Index.