The adequacy problem for inferential logic.

Jeffery I. Zucker Robert S. Tragesser

Published in: J. Philos. Log. (1978)

Keyphrases

modal logic
classical logic
machine learning
multi valued
logic programming
predicate logic
database
data sets
data mining
learning algorithm
decision making
computational properties
nonmonotonic logics
epistemic logic
proof theory