QT Logic: Simpler and More Expressive Than Predicate Calculus.

Published in: Inf. Process. Lett. (1978)

Keyphrases

predicate calculus
predicate logic
first order logic
formal model
lambda calculus
proof procedure
theorem proving
semantic network
semantic net
highly expressive
theorem prover
co occurrence
encoding scheme
information retrieval
inference rules
temporal logic
incomplete information