Sign in
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