Logics Of Propositional Inclusive

This paper came from the National Nature Science Foundation and BEIJING Nature Science Foundation. The subject is the research of the relation between Generalized Propositional Logic (GPL) and other prepositional logic. The paper shows the universality of Generalized Propositional Logic.With the deep research of complicated problem, how to deal with various uncertainties and evolution has been a critical problem for further development of AI. Most researchers put forward all kinds of propositional logic to satisfy application such as classical propositional logic, three-value logic, fuzzy logic etc. In the logic the value of proposition is continuous variety. And the relation between proposition and proposition is not considered. But in Generalized Propositional Logic the relation of proposition is discussed. Every logical model defined on the continuous interval [0,1] alters continuously following generalized correlative coefficient he[0,l] and generalized self-correlative coefficient he[0,l]. For example Fuzzy Logic is only one of the exceptions of GL when h=l. Firstly, in this paper it is described that GPL AND, OR and negation operations can be realized mathematics using a few of forms, such as exponential form, polymorphous form and triangular function form. Secondly, in the theory of GL with the four rules of producing such as generator rule, generating radix rule, rule of basis space changing, developing order rule, GPL can produce all kinds of basic operation model with other logic such as classical propositional logic, three-value logic, fuzzy logic and broad sense fuzzy logic. Finally, it proved that a material logic can be produce by GPL. And it shows the universality GPL can contain most logic. It is important to deeply understand GL theory and direct GL application.