Strong Normalization of the Dual Classical Sequent Calculus.

Daniel J. Dougherty Silvia Ghilezan Pierre Lescanne Silvia Likavec

Published in: LPAR (2005)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
high level
probability distribution
probability theory