A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Zhe Hou Alwen Tiu Rajeev Goré

Published in: CoRR (2013)

Keyphrases

proof theory
sequent calculus
proof search
cut elimination
linear logic
inference rules
default reasoning
modal logic
natural deduction
automated reasoning
reasoning problems
theorem prover
fixed point
logic programming
nonmonotonic reasoning
high level
description logics
general purpose