Bunched logic
id:
bunched-logic-202-7444594
title:
Bunched logic
text:
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 resource, and a proof theory in which the contexts Γ in an entailment judgement Γ ⊢ A are tree-like structures (bunches) rather than lists or (mu
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Bunched_logic
date created:
date modified:
2024-02-28T13:46:26Z
main entity:
{"identifier":"Q4997446","url":"https://www.wikidata.org/entity/Q4997446"}
image:
fields total:
13
integrity:
13