类类互异定理相关论文
首先，证明了关于全体赋值而言，修正的Ｋｌｅｅｎｅ系统中只有三种α－重言式。其次，在赋值域为有限集的情形证明了当α－过半时α重言式的类类互异定理......
该文针对模糊系统理论研究的基础-模糊逻辑的形式演绎系统,将模糊集(概念的模糊化)和包含度(关系的模糊化)结合在一起,得到了一些......
通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达......
讨论了修正的Product逻辑系统中的广义矛盾式理论，证明了该系统中广义矛盾式的类类互异定理，并给出了修正的Product逻辑系统中的广义......
