Some properties of reasoning closure systerms
LI Sheng-gang · Xi'an Gongcheng Keji Xueyuan xuebao · 2011
It is proved that,for a given non-empty set X,appropriate order relations can be defined on RCL(X)(the set of all reasoning closure operators on X),RIN(X)(the set of all reasoning interior operators on X),ROU(X)(the set of all reasoning external operators on X),RB(X)(the set of all reasoning boundary operators on X),so that they are isomorphic with the complete lattice(RCS(X),■),where RCS(X) is the set of all reasoning closure systems on X.