Semantic analysis of rough logical formulas based on granular computing | IEEE Conference Publication | IEEE Xplore