Systems of Combinatory Logic Related to Quine's 'New Foundations'.

M. Randall Holmes

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

digital circuits
artificial intelligence
intelligent systems
computer vision
expert systems
knowledge based systems
learning systems
learning algorithm
multi agent
digital libraries
artificial neural networks
distributed systems
retrieval systems
logical framework
classical logic
rewrite systems