Metric propositional neighborhood logic with an equivalence relation.

Angelo Montanari Marco Pazzaglia Pietro Sala

Published in: Acta Informatica (2016)

Keyphrases

equivalence relation
sound and complete axiomatization
rough set theory
rough sets
granular computing
numerical data
belief revision
computational intelligence
partial order
modal logic
concept lattice
decision rules
first order logic
fuzzy sets
artificial intelligence
knowledge discovery
query language