Further Results on Infinite Valued Predicate Logic.

Lawrence Peter Belluce

Published in: J. Symb. Log. (1964)

Keyphrases

predicate logic
formal logic
knowledge representation and reasoning
temporal logic
semantic network
semantic net
computational linguistics
predicate calculus
lower level
highly expressive
artificial intelligence
general purpose
knowledge representation
relational databases
expert systems
natural language
databases