Arithmetic based on the Church numerals in illative combinatory logic.

Martin W. Bunder

Published in: Stud Logica (1988)

Keyphrases

micron cmos
logic programming
machine learning
modal logic
classical logic
predicate logic
genetic algorithm
computer vision
floating point
logical framework
quantifier free
artificial neural networks
logic programs
multiple valued
handwritten numeral recognition