Keyphrases
- set theory
- higher order logic
- higher order
- theorem prover
- first order logic
- conditional logic
- partial order
- fuzzy set theory
- logical framework
- mathematical morphology
- rough sets
- fuzzy sets
- algebraic geometry
- inference rules
- rough set theory
- fuzzy logic
- image processing
- belief revision
- pairwise
- neural network
- data representation
- decision rules