Metric Propositional Neighborhood Logic with an Equivalence Relation.
Angelo MontanariMarco PazzagliaPietro SalaPublished in: TIME (2014)
Keyphrases
- equivalence relation
- sound and complete axiomatization
- rough set theory
- rough sets
- granular computing
- modal logic
- partial order
- binary relations
- first order logic
- genetic algorithm
- fuzzy logic
- numerical data
- query evaluation
- neural network
- graph theoretic
- transitive closure
- attribute reduction
- expert systems
- pattern recognition