Assumption Classes in Natural Deduction.

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

Keyphrases

natural deduction
theorem prover
inference rules
text classification
theorem proving
sequent calculus
intuitionistic logic
artificial intelligence
class labels
cut elimination
neural network
machine learning