Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-valued Propositional Logic Systems.

Jiancheng Zhang Lianta Su Shuili Chen

Published in: ICNC (7) (2008)

Keyphrases

propositional logic
valued logic
first order logic
belief revision
search algorithm
knowledge based systems
possibilistic logic
natural language
expert systems
relational databases
truth maintenance systems
lattice theory