Gentzen's Proof of Normalization for Natural Deduction.

Published in: Bull. Symb. Log. (2008)

Keyphrases

natural deduction
sequent calculus
cut elimination
linear time temporal logic
theorem prover
inference rules
theorem proving
linear logic
proof search
proof theoretic
intuitionistic logic
preprocessing
normalization method
bayesian networks
first order logic
data points
expert systems