On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation.

Vladimir Yu. Sazonov

Published in: MFCS (1981)

Keyphrases

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