On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.

Kentaro Kikuchi

Published in: LPAR (2006)

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
natural deduction
wide class
modal logic
sufficient conditions
logic programming
proof search
classical logic
training data
fixed point
artificial intelligence
logical framework
theorem proving
desirable properties