Implication rules in interval-valued decision formal contexts | IEEE Conference Publication | IEEE Xplore