Alternative forms of propositional calculus for a given deduction theorem.

Martin W. Bunder

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

Keyphrases

propositional calculus
intuitionistic logic
theorem proving
inference rules
automated deduction
real time
data mining
machine learning
artificial intelligence
reinforcement learning
digital libraries
first order logic