本文通过利用拓扑工具结合命题演算系统进行再研究,目的是从更加抽象化的层面来理解,并推广了抽象推理系统,产生了一系列基于模糊......

证明了对于一个给定的非空集合X,可以在RCL（X）（X上的推理闭包算子的全体）、R IN（X）（X上的推理内部算子的全体）、ROU（X）（X上的推理外部算子的全......