研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q......

本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻......

研究了非单调优先推理系统P和累积单调推理系统CM，以及模糊命题演算的形式演绎系统L^*，在L^*系统中定义了后承关系|～：A|～B当且仅当A^2┠......

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R0-代数。提出了基础R0-代数的观点并讨论了其中的一......

从王国俊教授提出的模糊命题演算形式系统L^＊、L0^＊的性质以及它们与F．Esteva和L．Godo提出的MTL、IMTL和NM的关系出发，借助代数方法证明......

针对命题逻辑系统L^＊，以及增加一元联结词△后的系统L^＊Δ，研究了该逻辑系统有效集的特征，进而以有效集为工具得到公式集F（S）的一类分划，即......