Arbitrary Truth-Value Functions and Natural Deduction.

Krister Segerberg

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

Keyphrases

natural deduction
inference rules
theorem prover
learning algorithm
artificial intelligence
data sets
neural network
knowledge base
training data
object oriented
logic programs
theorem proving
truth values