A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.
Zhe HouAlwen TiuRajeev GoréPublished in: TABLEAUX (2013)
Keyphrases
- proof theory
- sequent calculus
- proof search
- cut elimination
- linear logic
- inference rules
- default reasoning
- automated reasoning
- natural deduction
- modal logic
- theorem prover
- theorem proving
- reasoning problems
- belief revision
- first order logic
- object oriented
- knowledge representation
- desirable properties
- constraint programming
- logic programming
- general purpose
- software engineering