A predicate calculus for intensional logic.

Paul Weingartner

Published in: J. Philos. Log. (1973)

Keyphrases

predicate calculus
predicate logic
first order logic
formal model
semantic network
lambda calculus
theorem proving
proof procedure
semantic net
higher order
expressive power
temporal logic
co occurrence
theorem prover
propositional logic
inference rules
computer science
multi agent systems
artificial intelligence