Proofs of Strong Normalisation for Second Order Classical Natural Deduction.

Published in: J. Symb. Log. (1997)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
intuitionistic logic
higher order
information retrieval
linear time temporal logic
sufficient conditions
first order logic
wide class
divergence from randomness