A Constraint Sequent Calculus.

Jean-Louis Lassez Ken McAloon

Published in: WCLP (1991)

Keyphrases

sequent calculus
inference rules
linear logic
cut elimination
modal logic
natural deduction
linear time temporal logic
high level
fixed point
soft constraints