Deduction Theorems for T, E and R Reconsidered.

Aleksandar Kron

Published in: Math. Log. Q. (1976)

Keyphrases

inference rules
proof search
theorem proving
computer algebra
precedence relations
sequent calculus
automated theorem proving
theorem prover
high quality
first order logic
reinforcement learning
image segmentation
feature selection
digital topology
learning algorithm
machine learning
data mining