Some notes on: "A deduction theorem for restricted generality".

Martin W. Bunder

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

Keyphrases

intuitionistic logic
theorem proving
von neumann
information systems
inference rules
note taking
database
artificial intelligence
computer vision
decision trees
multiscale
theorem prover
classical logic
linear logic