A Gentzen-style axiomatization for basic predicate calculus.

Mojtaba Aghaei Mohammad Ardeshir

Published in: Arch. Math. Log. (2003)

Keyphrases

predicate calculus
formal model
first order logic
semantic network
predicate logic
lambda calculus
horn clauses
theorem proving
proof procedure
semantic net
situation calculus
information retrieval
knowledge representation
inference rules
theorem prover