Cut Elimination for a Logic with Generic Judgments and Induction

Published in: CoRR (2008)

Keyphrases

cut elimination
sequent calculus
proof search
linear logic
natural deduction
wide class
inference rules
intuitionistic logic
proof theoretic
sequent calculi
sufficient conditions
theorem prover
modal logic
linear time temporal logic
theorem proving
proof theory
fixed point
classical logic
logical framework