A Unified Display Proof Theory for Bunched Logic.

James Brotherston

Published in: MFPS (2010)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
artificial intelligence
search space
theorem proving
intuitionistic logic
logical equivalence