欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
证明了对于一个给定的非空集合X,可以在RCL（X）（X上的推理闭包算子的全体）、R IN（X）（X上的推理内部算子的全体）、ROU（X）（X上的推理外部算子的全体）、RB（X）（X上的推理边界算子的全体）上定义适当的序关系,使它们与（RCS（X）,真包含）序同构,其中RCS（X）是给定集合X上的推理闭包系统的全体.
英文摘要：
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）,lohtain in ）,where RCS（X） is the set of all reasoning closure systems on X.
同期刊论文项目
同项目期刊论文
期刊信息
位置：