Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.

Alexandre Rademaker Edward Hermann Haeusler

Published in: SBIA (2008)

Keyphrases

sequent calculus
linear logic
cut elimination
inference rules
modal logic
logical framework
natural deduction
reasoning tasks
knowledge base
temporal logic
causal models
probabilistic reasoning
legal reasoning
linear time temporal logic