In this paper a paraconsistent logic H is constructed on the basis of the natural deduction systems established by professor Hu ShihuaIn the paraconsistent set theory SH which regards H as its underlying iogic, the Russell Proposition is verifiable.

Coordination Theory and Its Application in Mobilization of National Economy;

Its functional architecture was constructed based on coordination theory.

The whole framework of coordination theory of electric power system optimal dispatch considering security and economics is established, and the coordinative dispatching mechanism and model at 7 aspects of space scale, time scale, power production link, controlled object, security and stable control strategy, optimized goal and open impartial equitable dispatch are presented.

The Theoretical Origin and the Historical Development of Paraconsistent Logic;

In this paper a paraconsistent logic H is constructed on the basis of the natural deduction systems established by professor Hu ShihuaIn the paraconsistent set theory SH which regards H as its underlying iogic, the Russell Proposition is verifiable.

The production of paraconsistent logic causes us to think about the following issues: whether it is necessary to produce paraconsistent logic;what is the relationship between paraconsistent logic and classical logic;whether paraconsistent logic s questioning of contradictions universality means that the law of logic can be amended.

The connotations and characteristics of classical negation, intuitionistic negation and paraconsistent negation are discussed from the points of syntax and semantics in the article.