A Logical Method of Formalization for Granular Computing