Basic Predicate Calculus.

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

Keyphrases

predicate calculus
formal model
first order logic
semantic network
theorem proving
predicate logic
lambda calculus
theorem prover
semantic net
proof procedure
expressive power
inference rules
information retrieval
wordnet