Algebraic Logic for Rational Pavelka Predicate Calculus.

Dumitru Daniel Dragulici George Georgescu

Published in: Math. Log. Q. (2001)

Keyphrases

predicate calculus
predicate logic
formal model
semantic network
first order logic
theorem proving
proof procedure
lambda calculus
semantic net
knowledge base
higher order
propositional logic
general purpose
theorem prover
knowledge representation and reasoning
algebraic structure