A note on natural deduction.

Michael D. Resnik

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

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
sequent calculus
theorem proving
intuitionistic logic
linear logic
linear time temporal logic
natural language
expert systems
modal logic