MP^M中介代数的性质

讨论了MP^M中介代数的一些性质，从而推导出一个引理，并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明，并给出具体实例加以说明。     

BCI-代数的软可换理想

将软集合理论应用到BCI-可换理想中，给出了BCI-代数的软可换理想的概念，讨论了软理想和软可换理想之间的关系，研究了两个软可换理想的扩展交、限制交、限制并以及限制差分的性质。丰富了软集合理论的代数性质。     

三值Majority函数单调的充要条件

本文的目的在于通过一个反例说明文献[1]中关于三值Ｍａｊｏｒｉｔｙ函数为单调函数的一个论断是错误的,然后给出这类函数为单调函数的一个充要条件.令Ｅ=0,1/2,1,“≤”表示Ｅ上的通常序,Ｅｎ上相应的乘积序也记作“≤”,设Ｗ1,…,Ｗｎ,Ｔ1/2,Ｔ1是整数,且Ｔ1/2≤Ｔ1,θ∈{1/2,1},Ｘ=(ｘ1,…,ｘｎ),令Ｎθ(Ｘ)=∑{Ｗｉ:Ｗｉ≥0,ｘｉ=θ} ∑{-Ｗｉ:Ｗｉ<0,ｘｉ=θ},这里ｘｉ=1-ｘｉ(ｘｉ∈Ｅ),称ｆ:Ｅｎ→Ｅ是带有权Ｗ1,…,Ｗｎ和阈Ｔ1/2,Ｔ1的三值Ｍａｊｏｒｉｔｙ函数,若ｆ如下定义:ｆ(Ｘ)=1,1/2,0,　Ｎ1(Ｘ)≥Ｔ1;Ｔ1>Ｎ1(Ｘ)≥Ｔ1/2-Ｎ1…     

MP^M中介代数的性质

讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明.     

WDRL半群的理想

在DRL半群理想的基础上给出WDRL半群理想的定义及其等价定义,探讨了WDRL半群的几类理想,给出了素理想、极大理想及生成理想的定义,并研究了各类理想的性质及相互间的关系.用理想来研究逻辑代数,丰富了WDRL半群的内容.