↓ Skip to main content
What is this page? Embed badge

The Semantics and Proof Theory of the Logic of Bunched Implications

Overview of attention for book
Cover of 'The Semantics and Proof Theory of the Logic of Bunched Implications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction to Part I
  3. Altmetric Badge
    Chapter 2 Natural Deduction for Propositional BI
  4. Altmetric Badge
    Chapter 3 Algebraic, Topological, Categorical
  5. Altmetric Badge
    Chapter 4 Kripke Semantics
  6. Altmetric Badge
    Chapter 5 Topological Kripke Semantics
  7. Altmetric Badge
    Chapter 6 Propositional BI as a Sequent Calculus
  8. Altmetric Badge
    Chapter 7 Towards Classical Propositional BI
  9. Altmetric Badge
    Chapter 8 Bunched Logical Relations
  10. Altmetric Badge
    Chapter 9 The Sharing Interpretation, I
  11. Altmetric Badge
    Chapter 10 Introduction to Part II
  12. Altmetric Badge
    Chapter 11 The Syntax of Predicate BI
  13. Altmetric Badge
    Chapter 12 Natural Deduction and Sequent Calculus
  14. Altmetric Badge
    Chapter 13 Kripke Semantics for Predicate BI
  15. Altmetric Badge
    Chapter 14 Topological Kripke Semantics for Predicate BI
  16. Altmetric Badge
    Chapter 15 Resource Semantics, Type Theory and Fibred Categories
  17. Altmetric Badge
    Chapter 16 The Sharing Interpretation, II
Attention for Chapter 6: Propositional BI as a Sequent Calculus
Altmetric Badge

Citations

dimensions_citation
135 Dimensions
Summary Dimensions citations
So far, Dimensions has found 135 publications that cite this research output.

135

The most recent citing publications are shown below. View all 135 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.