Automata theory based on complete residuated lattice-valued logic: Pushdown automata.
Hongyan XingDaowen QiuFuchun LiuPublished in: Fuzzy Sets Syst. (2009)
Keyphrases
- valued logic
- automata theory
- classical logic
- propositional logic
- fuzzy logic
- graph theory
- learning theory
- fuzzy sets
- first order logic
- multi valued
- truth values
- logic programs
- student learning
- logic programming
- complex networks
- automated reasoning
- neural network
- computer science
- cooperative
- learning environment
- knowledge base