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

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

布尔代数上强保持交换矩阵对的线性算子

设 B是一个具有最大元 1和最小元 0的布尔代数 ,Mn( B)是 B上n阶矩阵半环 ,L是Mn( B)上的一个线性算子 ,如果 A ,B∈Mn( B) ,均有AB =BA当且仅当L(A)L(B) =L(B)L(A) ,则称L强保持Mn( B)中的交换矩阵对 .本文刻画了布尔代数上强保持交换矩阵对的线性算子 .     

Fuzzy布尔代数

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

对偶原理在组合逻辑电路设计中的应用

本文讨论了对偶原理在组合逻辑电路设计中的应用,这种应用为我们设计电路选择器件又提供了一种方法。     

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

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

可补半环上的内射半模与投射半模

研究可补半环上的内射半模与投射半模性质.得到:若S为可补半环,则任意左S-半模必存在内射包;左S-内射半模必是S-模;每一个左S-半模必是P-内射半模;Γ-内射当且仅当S-内射;最后证明可补半环必是rPP半环.     

有限布尔代数结构定理的对偶注释

利用格的对偶原理,引入亚元（对偶原子）的概念,并证明任一有限布尔代数都同构于它的所有亚元之集的集合代数,进而得出定理３、定理４．     

计算不交和的一个新算法

提出一个计算网络可靠度的有效算法。算法基于二分决策图,但采用新的法则选取Shannon公式中的关键字母及因式分解技巧,与已有的某些算法相比,算例表明这个算法比较简单,产生比较少的不交和项及比较紧凑的公式。