Rough logic and its reasoning

In this article, Rough Logic is defined as a nonstandard logicon a given information system IS = (U,A). Atomic formulae of the logicare defined as a = v or av. It is interpreted as a(x) = v, where a ∈ A isan attribute in A, x is an individual variable on U, and v is an attributevalue. The compound formula consist of the atomic formulae and logicalconnectives. Semantics of the logic is discussed. Truth value of the roughlogic is defined as a ratio of the number of elements satisfying the logicalformula to the total of elements on U. Deductive reasoning and resolutionreasoning are also studied. The rough logic will offer a new idea forthe applications to classical logic and other nonstandard logic.