Focusing Strategies in the Sequent Calculus of Synthetic Connectives.

Kaustuv Chaudhuri

Published in: LPAR (2008)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
modal logic
natural deduction
proof search
linear time temporal logic
first order logic
fixed point
artificial intelligence
fuzzy sets
conditional probabilities