Strong Normalization for Second Order Classical Natural Deduction

Published in: LICS (1993)

Keyphrases

natural deduction
theorem prover
inference rules
higher order
theorem proving
cut elimination
neural network
sequent calculus
intuitionistic logic
first order logic
markov random field
partial order
normalization method