Predicate Calculus with Free Quantifier Variables.

Richmond H. Thomason D. Randolph Johnson Jr.

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

Keyphrases

predicate calculus
first order logic
formal model
lambda calculus
semantic network
theorem proving
semantic net
predicate logic
quantifier elimination
proof procedure
theorem prover
propositional logic
data mining
inference rules
conditional probabilities
random variables
domain knowledge