Keyphrases
- propositional calculus
- linear logic
- fuzzy set theory
- interval valued
- fuzzy numbers
- theorem prover
- fuzzy information
- classical logic
- pattern recognition
- fuzzy sets
- database
- group decision making
- data mining
- natural deduction
- machine learning
- genetic algorithm
- fuzzy relations
- logical framework
- image processing
- rough set theory
- logic programming
- relational databases