Determining Of Reasoning Closure System

This paper, using topological tool with proposition calulus system. is to study more for understanding from abstract level, and generalizes abstract rea-soning system, produces a series of proposition logic operator basing on fuzzy logic, enriches the lattices, also provides the reference for the logic research in category, fuzzy reasoning system and application.Put X, is a collection, the RCS(X) is X's all of conclusion closure field system, so we can definit closure operator of X. give the partial order relationship< prop-erly on RCL(X) (all of reasoning closure operator on X). and give the sequence isomorphism between (RCL(X).≤) and (RCS(X),(?)), then can use reasoning closure operator corresponding conclusion closed domain, so we can also define rea-soning internal operator, reasoning external operator, reasoning boundary operator, reasoning guiding operator and so on. to correspond the conclusion closed domain.The key points and the main contents of this paper are as follows:In the (?)ist chapter, mainly we introduce concepts and conclusion about the reasoning closure system. Some concepts of convergence and important conelusions which are related to reasoning closure systerm are introduced.In the second chapter, we definit the order relation firstly about RCS(X) ( all of the conclusion closed domain on X). RCL(X) (all of the reasoning closure operator on X). RIN(X) (all of the reasoning internal operator on X). ROU(X) ( all of the reasoning external operator on X). RB(X) (all of the reasoning boundary operator on A), then prove sequence isomorphism between RCS(X) and RCL(X). RCS(X) and RIN(X). RCS(X) and ROU(X). RCS(X) and RB(X).In the third chapter, with the reasoning closure systerm we can structure the new difference derived operator, the new remote neighborhood operator and so on. and have proof RCS(X) and RD(X). RN(X) and RR(X) are isomorphic...