Predicates to Infinitary Logic.

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

Keyphrases

horn clauses
logic programming
modal logic
quantifier free
asynchronous circuits
user defined
classical logic
predicate logic
proof theory
digital circuits
sound and complete axiomatization
rewrite systems
delay insensitive
truth values
neural network
knowledge base
data mining