The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution

Abstract

Rough logic is a nonstandard logic defined information systems. In the paper, meaning of the logical formulas is defined as granulation. Operations, related properties of the granulations are discussed further. Lock resolution of the granulations is studied. Studying significance of the granulations will offer an application in inference of expert systems. Which will also offer a new idea for the applications of classical logic and other nonstandard logic.