基础L^*系统相关论文
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和......
研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三型算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应......