Keyphrases
- set theory
- first order logic
- theorem proving
- theorem prover
- partial order
- fuzzy set theory
- mathematical morphology
- rough sets
- rough set theory
- algebraic geometry
- inference rules
- fuzzy sets
- probability theory
- multi dimensional
- fuzzy logic
- information retrieval
- machine learning
- databases
- computational intelligence
- multiscale