Cut-Elimination and Proof Schemata.

Cvetan Dunchev Alexander Leitsch Mikheil Rukhaia Daniel Weller

Published in: TbiLLC (2013)

Keyphrases

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