Multiary α-Resolution Principle for a Lattice-Valued Logic.

Yang Xu Jun Liu Xiaomei Zhong Shuwei Chen

Published in: IEEE Trans. Fuzzy Syst. (2013)

Keyphrases

valued logic
propositional logic
classical logic
fuzzy logic
fuzzy sets
first order logic
truth values
logic programs
automated reasoning
multi valued
fuzzy set theory
logic programming
computational intelligence
rough sets
database
theorem proving
stable models
neural network