English
The Semantics and Proof Theory of the Logic of Bunched Implications
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction to Part I
-
Altmetric BadgeChapter 2 Natural Deduction for Propositional BI
-
Altmetric BadgeChapter 3 Algebraic, Topological, Categorical
-
Altmetric BadgeChapter 4 Kripke Semantics
-
Altmetric BadgeChapter 5 Topological Kripke Semantics
-
Altmetric BadgeChapter 6 Propositional BI as a Sequent Calculus
-
Altmetric BadgeChapter 7 Towards Classical Propositional BI
-
Altmetric BadgeChapter 8 Bunched Logical Relations
-
Altmetric BadgeChapter 9 The Sharing Interpretation, I
-
Altmetric BadgeChapter 10 Introduction to Part II
-
Altmetric BadgeChapter 11 The Syntax of Predicate BI
-
Altmetric BadgeChapter 12 Natural Deduction and Sequent Calculus
-
Altmetric BadgeChapter 13 Kripke Semantics for Predicate BI
-
Altmetric BadgeChapter 14 Topological Kripke Semantics for Predicate BI
-
Altmetric BadgeChapter 15 Resource Semantics, Type Theory and Fibred Categories
-
Altmetric BadgeChapter 16 The Sharing Interpretation, II