A Deconstruction of Non-deterministic Classical Cut Elimination.

Published in: TLCA (2001)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
simulated annealing
modal logic
proof theoretic
bayesian networks
general purpose
theorem proving