Table of Contents

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.- II Predicate BI.- 10. Introduction to Part II.- 11. The Syntax of Predicate BI.- 12. Natural Deduction & Sequent Calculus.- 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.

Reviews

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)