Implication Systems and Their Properties

The concept of matter element implication system was defined by the author in 1996. In particular, the properties of limitation domain implication systems were studied. Based on those properties, both static and dynamic diagnosis method were put forward. In this paper, implication systems are proposed to generalize matter element implication systems. It is shown that the above diagnosis approaches can still be used in implication systems. Besides, some additional properties and functions of implication systems are discussed.