Illative combinatory logic without equality as a primitive predicate.

Martin W. Bunder

Published in: Notre Dame J. Formal Log. (1982)

Keyphrases

first order logic
modal logic
multi valued
horn clauses
function symbols
classical logic
data sets
high level
asynchronous circuits
automated reasoning
proof theory
truth values
predicate logic
logical framework
fixpoint
logic programming
artificial intelligence
data mining