Sequent Calculus for Justifications.

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
proof search
truth maintenance systems
bayesian networks
desirable properties
sufficient conditions
first order logic
answer sets
default logic