软布尔代数

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

区间软布尔代数

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

区间软布尔代数

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

布尔代数的模糊点子代数

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

基于蕴涵算子上的模糊布尔代数

文中给出R-模糊布尔代数的定义,讨论了其与模糊布尔代数的关系,证明在一定的条件下,有限个R-模糊布尔代数的交(并)还是R-模糊布尔代数,R-模糊布尔代数的同态像(原像)仍是R-模糊布尔代数。     

连续泛布尔代数公理体系

本文在文献[1]基础上给出了连续泛布尔代数公理系统,证明了布尔代数和泛布尔代数系统都是连续泛布尔代数系统的“离散化”。     

布尔代数的Ⅰ-Ⅴ模糊子代数

研究了布尔代数的Ⅰ-Ⅴ(Interval valued)模糊子代数及其相关性质,推广了相关文献中布尔代数的模糊子代数的结果。首先,通过将Ⅰ-Ⅴ模糊集应用于布尔代数,定义了布尔代数的Ⅰ-Ⅴ模糊子代数的概念,得到了布尔代数的Ⅰ-Ⅴ模糊子代数的两个简化判定定理;然后,讨论了布尔代数的Ⅰ-Ⅴ模糊子代数与(模糊)子代数之间的关系,证明了布尔代数上的IV模糊集是Ⅰ-Ⅴ模糊子代数的充要条件是Ⅰ-Ⅴ模糊集的截集是布尔代数的子代数,布尔代数上的Ⅰ-Ⅴ模糊集是Ⅰ-Ⅴ模糊子代数的充要条件是Ⅰ-Ⅴ模糊集的上下隶属函数均为布尔代数的模糊子代数;其次,讨论了布尔代数的Ⅰ-Ⅴ模糊子代数的交、同态等性质,证明了布尔代数的Ⅰ-Ⅴ模糊子代数的交、同态像和同态逆像等也是布尔代数的Ⅰ-Ⅴ模糊子代数;最后,讨论了布尔代数直积上的Ⅰ-Ⅴ模糊子代数。     

布尔代数的I-V模糊子代数

研究了布尔代数的I-V(Interval valued)模糊子代数及其相关性质,推广了相关文献中布尔代数的模糊子代数的结果。首先,通过将I-V模糊集应用于布尔代数,定义了布尔代数的I-V模糊子代数的概念,得到了布尔代数的I-V模糊子代数的两个简化判定定理;然后,讨论了布尔代数的I-V模糊子代数与(模糊)子代数之间的关系,证明了布尔代数上的I-V模糊集是I-V模糊子代数的充要条件是I-V模糊集的截集是布尔代数的子代数,布尔代数上的I-V模糊集是I-V模糊子代数的充要条件是I-V模糊集的上下隶属函数均为布尔代数的模糊子代数;其次,讨论了布尔代数的I-V模糊子代数的交、同态等性质,证明了布尔代数的I-V模糊子代数的交、同态像和同态逆像等也是布尔代数的I-V模糊子代数;最后,讨论了布尔代数直积上的I-V模糊子代数。
     

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

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

无限置换群上一布尔代数的性质

证明了无限置换群G上的一布尔代数β（G,Ω）的Cantor－Bendixson导数β(1)是原子的且只有有限多个原子。     

Boole代数的等价刻画

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

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

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

BR_0代数中的~*理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.     

Tarski代数和模态代数的主同余

研究了Tarski代数和模态代数的主同余。结合布尔代数的主同余的结果,给出Tarski代数和模态代数的主同余的刻画。     

粗糙集代数与MTL代数

讨论粗糙集代数与MTL代数的关系以及由粗糙集代数构造MTL代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为MTL代数.     

布尔格的主同余

基于布尔格的次直积同构表示,引入布尔格的元的不可辨下标集的定义,给出布尔格的元的不可辨下标集的简单性质.应用布尔格的元的不可辨下标集给出布尔格的主同余的刻画,并给出有穷布尔格的主同余的基数与布尔格的元的不可辨下标集的基数的联系,从而得到布尔格的主同余的构造方法.     

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

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

布尔行列式及其性质

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