Second-order logic on equivalence relations.

G. Georgiev Tinko Tinchev

Published in: J. Appl. Non Class. Logics (2008)

Keyphrases

equivalence relation
rough set theory
rough sets
rough set approximations
modal logic
numerical data
data mining
partial order
granular computing
boolean algebra