A simplification of combinatory Logic.

Nicolas D. Goodman

Published in: J. Symb. Log. (1972)

Keyphrases

modal logic
logic programming
classical logic
proof theory
multiresolution
data sets
automated reasoning
machine learning
artificial intelligence
computer vision
evolutionary algorithm
epistemic logic
defeasible logic
sound and complete axiomatization
description logics
artificial neural networks
preprocessing