Login / Signup
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