Login / Signup
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.
Henk Barendregt
Martin W. Bunder
Wil Dekkers
Published in:
J. Symb. Log. (1993)
Keyphrases
</>
predicate calculus
first order logic
predicate logic
proof procedure
formal model
lambda calculus
semantic network
theorem proving
theorem prover
propositional logic
high level
horn clauses
domain knowledge
knowledge representation and reasoning
low level
artificial intelligence
sound and complete axiomatization