On the Scope of the Classical Deduction Theorem.

Witold A. Pogorzelski

Published in: J. Symb. Log. (1968)

Keyphrases

intuitionistic logic
inference rules
artificial intelligence
database systems
real time
databases
neural network
machine learning
feature extraction
theorem prover