Semantic analysis of rough logical formulas based on granular computing
Semantic Analysis of Logical formulas is to research into the meaning sets of logical formulas based on granular computing. In the paper, the meaning sets are axiomatized, and the reasoning systems are created to start with set axioms. The deductive reasoning in the set axiomatic systems is illustrated with real examples. The decomposing of granulation and the amalgamation of granules are also discussed. Index Terms-- Granular computing, Meaning sets of the logical formula, Meaning Set Axiomatization, Granular Deductive Reasoning.