A Constraint Sequent Calculus

Jean-Louis Lassez Ken McAloon

Published in: LICS (1990)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
modal logic
linear time temporal logic
natural deduction
training data
machine learning
qualitative and quantitative
proof search