Axioms for Strong Reduction in Combinatory Logic.

J. Roger Hindley

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

Keyphrases

logic programming
automated reasoning
knowledge base
set theory
sound and complete axiomatization
logical theories
computational properties
multi valued
high level
first order logic
horn clauses
probabilistic logic
classical logic
predicate logic
relational databases
expert systems
deontic logic
information systems