A Foray Into Combinatory Logic.

Barney Glickfeld Ross A. Overbeek

Published in: J. Autom. Reason. (1986)

Keyphrases

logic programming
modal logic
predicate logic
defeasible logic
multi valued
linear temporal logic
logic programs
automated reasoning
sound and complete axiomatization
digital circuits
set theory
classical logic
database
artificial neural networks
multiscale
image processing
social networks
learning algorithm