Metric Right Propositional Neighborhood Logic with an Equivalence Relation.

Published in: ICTCS (2018)

Keyphrases

equivalence relation
sound and complete axiomatization
rough set theory
rough sets
first order logic
granular computing
numerical data
binary relations
genetic algorithm
decision rules
partial order
concept lattice
data sets
databases
belief revision
random graphs