Semantic reasoning study for rough logic about n-ary formulas | IEEE Conference Publication | IEEE Xplore