Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.

Petr Hájek Jeff B. Paris John C. Shepherdson

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

Keyphrases

predicate logic
knowledge representation and reasoning
semantic net
temporal logic
formal logic
semantic network
computational linguistics
modal logic
predicate calculus
lower level
artificial intelligence
databases
knowledge discovery
natural language
domain specific
highly expressive