Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Bunched logic

Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about resource composition, which aid in the compositional analysis of computer and other systems. It has category-theoretic and truth-functional semantics, which can be understood in terms of an abstract concept of…

Applications & Products

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Bunched logic. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

Foundations

Applications

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Bunched logic

Nodes60
Edges59
Triples36
Avg. degree1.97
Density0.033333
Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Bunched logic

Top relations

related to Spatial logics · 10
Bunched logic → Although, Caires, Cardelli, Gordon, Pym, Related, SCRP, Their, Unlike, XML
related to Separation logic · 7
Bunched logic → Following Hoare, Heaps, Hoare, Post, Pre, Separation, The
related to Resources and processes · 6
Bunched logic → Bunched, Hennessy, Milner, SCRP, SCRP's, The
is a · 4
Bunched logic → single category possessing two closed structures, special case of its categorical semantics, type theory having two kinds of function type, variety of substructural logic proposed by Peter O'Hearn and David Pym
related to Categorical semantics (doubly closed categories) · 3
Bunched logic → Bunched, Proofs, The
related to Proof theory and type theory (bunches) · 3
Bunched logic → Delta, In, The
related to Foundations · 2
Bunched logic → Bunched, The
related to Algebraic semantics · 1
Bunched logic → The

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

logic bunched displaystyle semantics resource separation resources theory composition two models proof type used way systems bunches rightarrow boolean bullet

Entity relationships Subject–Predicate–Object triples

SubjectPredicateObjectConfidenceSrc
Bunched logicis avariety of substructural logic proposed by Peter O'Hearn and David Pym0.90text
Bunched logicis asingle category possessing two closed structures0.90text
Bunched logicis aspecial case of its categorical semantics0.90text
Bunched logicis atype theory having two kinds of function type0.90text
Bunched logicrelated to Algebraic semanticsThe0.60section
Bunched logicrelated to Categorical semantics (doubly closed categories)The0.60section
Bunched logicrelated to Categorical semantics (doubly closed categories)Proofs0.60section
Bunched logicrelated to Categorical semantics (doubly closed categories)Bunched0.60section
Bunched logicrelated to FoundationsThe0.60section
Bunched logicrelated to FoundationsBunched0.60section
Bunched logicrelated to Proof theory and type theory (bunches)The0.60section
Bunched logicrelated to Proof theory and type theory (bunches)In0.60section

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

    Min side: 3
    For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.