Sciweavers

88
Voted
ENTCS
2010
91views more  ENTCS 2010»
14 years 9 months ago
A Unified Display Proof Theory for Bunched Logic
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...
James Brotherston