Equivalence in automata theory based on complete residuated lattice-valued logic.
Hongyan XingDaowen QiuFuchun LiuZhujun FanPublished in: Fuzzy Sets Syst. (2007)
Keyphrases
- valued logic
- automata theory
- datalog programs
- classical logic
- propositional logic
- fuzzy logic
- fuzzy sets
- learning theory
- graph theory
- multi valued
- student learning
- truth values
- first order logic
- automated reasoning
- computer science
- knowledge base
- decision making
- logic programming
- rough sets
- software engineering
- cooperative