软布尔代数

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

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

布尔代数的模糊点子代数

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

正规软代数的素理想刻划

讨论了正规软代数的素理想与同余关系的性质，利用软代数的素理想和同余关系刻划了正规软代数。     

Fuzzy布尔代数

本文把Ｆｕｚｚｙ布尔代数定义成为Ｆｕｚｚｙ逻辑代数的一个模拟．并定义Ｆｕｚｚｙ布尔代数的理想、原子等概念．讨论Ｆｕｚｚｙ布尔代数的基本性质．     

一类由模糊理想诱导出的软商环

根据环的模糊理想定义一种等价关系把环的元素进行分类,再给出等价类的两种运算,验证等价类构成的集合对给出的两种运算构成一个环,称为商环.进一步由模糊理想诱导出一类理想化软环的软商环,并讨论这类软商环的基本性质.     

布尔代数的最小化──离散数学教改谈

本文针对布尔代数的三种定义,分析它们的通缉结构,讨论要理解它们所需的知识与素养上的准备,说明它们与学习者的能力的关系。从而得出对不同层次学生的不同讲法和适用矜三年制计算机应用与维护专业的用最少学时在最少前提下布尔代数的讲法。     

模糊商李超代数

利用模糊理想定义了模糊商李超代数,证明了模糊商李超代数是李超代数,讨论了模糊商李超代数的模糊子集。     

￡~*-Lindenbaum代数中的商理想

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如┐D(Γ)的形式.     

Boolean代数与减法代数

根据集合代数的研究引入了减法代数的概念．证明了任一Ｂｏｏｌｅａｎ代数等价于一个具有一个二元代数运算，且仅可由四个方程式定义的减法代数系统〈Ｘ；－，０，１〉     

一种布尔代数——围棋布尔代数及其应用

研究布尔代数一种形式－围棋布尔代数,它由元素０,１所组成的四个复合元素,Ｏ,Ｉ,Θ,Θ′,即Ｏ＝（０,０）,Ｉ＝（１,１）,Θ＝（０,１）,Θ′＝（１,０）,可看作为元素０,１所组成集合子集,给出其运算规则,符合布尔代数的幂等律,交换律,结合律,吸收律,分配律,互补律,讨论了它在围棋棋团的图像轮廓识别等方面的应用。     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

布尔行列式及其性质

在布尔代数上引入多种意义下的行列式,主要讨论了det1(A)和det2(A)的性质,并推广了各行列式的性质,得到一些交换体上行列式不曾具有的结论.     

R0代数的一种新型商代数

目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系,得到R0代数的商代数。结果这种商代数是有界分配格。结论这种商代数成为R0代数的充分条件是对其中任意的a都有■a∨a=1。