Automata theory based on complete residuated lattice-valued logic: A categorical approach.

Hongyan Xing Daowen Qiu

Published in: Fuzzy Sets Syst. (2009)

Keyphrases

valued logic
automata theory
classical logic
fuzzy logic
propositional logic
graph theory
first order logic
learning theory
fuzzy sets
logic programs
multi valued
truth values
student learning
stable models
inductive logic programming
cooperative
automated reasoning
college level
computer science