Rough logic