布尔代数的Ω-模糊子代数

研究布尔代数的Ω-模糊子代数及其性质．定义布尔代数的仔模糊子代数,给出布尔代数的Ω-模糊子代数的两个简化判定定理,并证明布尔代数的Ω-模糊子代数的交、同态像和同态逆像等也是布尔代数的Ω-模糊子代数．然后,令RΩ表示集合Ω到布尔代数R的所有映射的集合,通过在RΩ上定义3种运算 , ,-,得到布尔代数〈RΩ, , ,-,I0,I1〉,并研究与其相关的模糊子代数和Ω-模糊子代数．     

逻辑代数与图论中的运算符号“”

“■”运算在逻辑代数和图论中定义形式不同，运算性质却类似，原因是对于“■”，逻辑函数集合与某个图的集合同构．     

基于带Fuzzy壳Boole代数和修正的Gaines—Rescher？…

建立了一种基于带Ｆｕｚｚｙ壳Ｂｏｏｌｅ代数和修正的Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。特别是，在这种逻辑中笔者发现α－ＨＳ规则和α－ＭＰ规则对每个α都无条件地成立。     

布尔代数的(∈,∈∨qλ,μ)-模糊理想

文中给出了布尔代数的(∈,∈∨q(λ,μ))-模糊理想及广义模糊理想的新概念,得到了(∈,∈∨q(λ,μ))-模糊理想的一些等价刻画及基本性质。     

布尔代数的模糊点子代数

模糊点子代数是模糊代数研究的一个重要内容.通过将相关代数理论中的模糊点子代数概念引入到布尔代数之中,给出了布尔代数的模糊点子代数的概念,推广了布尔代数模糊子代数的概念.然后,系统地讨论了布尔代数的模糊点子代数的性质,给出了布尔代数的模糊点子代数的2个简化判断定理,证明了布尔代数的模糊点子代数的交、同态像和同态逆像也是布尔代数的模糊点子代数等相关结论.研究结果推广了布尔代数的模糊子代数及其相关结论,进一步丰富了布尔代数上的模糊理论.     

逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.     

软布尔代数

将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。