Herzberger's Limit Rule with Labelled Sequent Calculus.

Andreas Fjellstad

Published in: Stud Logica (2020)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
modal logic
natural deduction
linear time temporal logic
fixed point
general purpose
association rules
probability distribution
markov random field
sufficient conditions