Automata theory based on complete residuated lattice-valued logic: Reduction and minimization.

Lihua Wu Daowen Qiu

Published in: Fuzzy Sets Syst. (2010)

Keyphrases

valued logic
automata theory
propositional logic
classical logic
fuzzy logic
fuzzy sets
graph theory
first order logic
learning theory
truth values
logic programs
neural network
multi valued
automated reasoning
datalog programs
student learning
computer science