Keyphrases
- linear logic
- fuzzy set theory
- interval valued
- theorem prover
- fuzzy numbers
- fuzzy information
- classical logic
- databases
- fuzzy sets
- natural deduction
- fuzzy relations
- logical framework
- desirable properties
- probabilistic model
- evolutionary algorithm
- pattern recognition
- video sequences
- similarity measure
- e learning
- data mining