A labelled sequent calculus for BBI: proof theory and proof search.

Zhe Hou Rajeev Goré Alwen Tiu

Published in: J. Log. Comput. (2018)

Keyphrases

proof theory
sequent calculus
proof search
cut elimination
linear logic
inference rules
default reasoning
modal logic
automated reasoning
reasoning problems
natural deduction
fixed point
first order logic
general purpose
search algorithm
constraint programming
description logics