General form of α-resolution principle for linguistic truth-valued lattice-valued logic.

Xiaomei Zhong Yang Xu Jun Liu Shuwei Chen

Published in: Soft Comput. (2012)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
truth values
first order logic
multi valued
logic programs
automated reasoning
datalog programs
special case
neural network
modal logic
inference rules
possibility theory
stable models
computational intelligence
bayesian networks