A note on the completeness proof for natural deduction.

David W. Bennett

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
sequent calculus
theorem proving
intuitionistic logic
linear logic
training data
active learning
graphical models
automated reasoning