A Finitely Axiomatized Formalization of Predicate Calculus with Equality.
Norman D. MegillPublished in: Notre Dame J. Formal Log. (1995)
Keyphrases
- predicate calculus
- formal model
- first order logic
- lambda calculus
- semantic network
- proof procedure
- predicate logic
- knowledge representation
- theorem proving
- finite number
- semantic net
- inductive inference
- equality generating dependencies
- universal relation
- function symbols
- fixpoint
- theorem prover
- general purpose
- inference rules
- relational databases
- information retrieval