A deduction theorem for restricted generality.

Martin W. Bunder

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

Keyphrases

intuitionistic logic
inference rules
theorem proving
von neumann
theorem prover
database
decision making
databases
knowledge base
computational complexity