A Sequent Calculus for Modelling Interferences

Christophe Fouqueré

Published in: CoRR (2007)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
image segmentation
probabilistic model
first order logic
theorem proving