Bunched logic

Known as: Bunched implication, Logic of bunched implications, Logic BI 
Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1998-2016
024619982016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display… (More)
Is this relevant?
2010
2010
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display… (More)
  • figure 1
  • figure 5
Is this relevant?
2008
2008
We consider a classical (propositional) version, CBI, of O’Hearn and Pym’s logic of bunched implications (BI) from a modeland… (More)
  • figure 1
Is this relevant?
2008
2008
We describe a polymorphic, typed lambda calculus with substructural features. This calculus extends the first-order substructural… (More)
Is this relevant?
2007
2007
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus… (More)
Is this relevant?
2004
2004
The inverse method, due to Maslov, is a forward theorem provingmethod for cut-free sequent calculi that relies on the subformula… (More)
  • figure 2
Is this relevant?
2003
2003
We study a typing scheme derived from a semantic situation where a single category possesses several closed structures… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side… (More)
Is this relevant?
1999
1999
We present the logic of bunched implications, BI, in which a multiplicative (or linear) and an additive (or intuitionistic… (More)
Is this relevant?
1998
1998
We introduce the logic of bunched implications, BI, in which multiplicative (or linear) and additive (or intuitionistic… (More)
Is this relevant?