Strong Normalisation of Cut-Elimination That Simulates beta-Reduction.

Kentaro Kikuchi Stéphane Lengrand

Published in: FoSSaCS (2008)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
wide class
proof theoretic
inference rules
expert systems
high dimensional
search space
knowledge representation
probabilistic reasoning
automated reasoning