An Isomorphism Between Cut-Elimination Procedure and Proof Reduction.

Published in: TLCA (2007)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
wide class
inference rules
proof theoretic
proof search
sequent calculi
sufficient conditions
search procedure
theorem prover
theorem proving
proof procedure
logic programming
knowledge base
modal logic
fixed point
feature space
training data