Fuzzy Propositional Logic System and Its λ-Resolution.

Jiexin Zhao Zhenghua Pan

Published in: ICIC (2) (2014)

Keyphrases

propositional logic
valued logic
first order logic
belief revision
fuzzy sets
fuzzy logic
lattice theory
possibilistic logic
quantified boolean formulae
belief change
artificial intelligence
multi attribute
propositional satisfiability
proof procedure
satisfiability testing