伴随矩阵性质证明的一种新方法

定义了矩阵的旋转运算和矩阵的加符号因子运算,证明这两种运算的若干性质。利用这些性质定理研究了伴随矩阵,得到了伴随矩阵的一些重要性质。推广和改进了关于伴随矩阵的已有结论,丰富和完善了伴随矩阵的相关理论。

BCK-代数的稳定化子

引入了BCK-代数的稳定化子概念,给出了其相关性质,重点研究了左稳定化子与正则理想之间的关系。进一步,引入了BCK-代数的相对稳定化子概念,讨论了相对稳定化子与正则理想、固执理想及布尔理想之间的关系。借助左相对稳定化子,证明了BCK-代数的所有理想之集构成一个相对伪补格。

伪补MS-代数的核理想与同余关系

在伪补MS-代数上引入核理想的概念,利用伪补MS-代数主同余表示定理,讨论伪补MS-代数上的核理想的性质,得到核理想生成的同余关系的表达式.

格蕴涵代数的构造

进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究.

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

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

Heyting代数成为Boole代数的条件及其特征

给出了Heyting代数成为Boole代数的几个充要条件.即Heyting代数H(,→)为Boole代数当且仅当如下条件之一成立:■a=a,■a∨a=1;或■H=H(■a=a→0).并研究了Heyting代数的自身特征.

双重Stone代数的主同余关系

给出了双重Stone代数的主同余关系θ(a,b)(a≤b)的等式刻划以及其它的一些性质,由此得到了主同余关系θ(a,b)(a≤b)存在Boo le-补的若干充分条件.

伪补分配格上的主同余关系

本文研究伪补分配格 L的 * -同余关系的基本性质 .主要给出了 :(1)主同余θ* (a,b)的一个具体刻划 ;(2 )理想 I成为同余理想的一个充要条件和以 I为核的最小 * -同余 θ* (I) ;(3) L上的格同余θL(a,b)成为 * -同余的若干充要条件 .其中的大部分结果改进或包含了已有的结论 .

关于n-李代数的有余性

讨论有余n-李代数的性质,研究并总结了有余n-李代数与一些已知n-李代数的关系.

双重伪补Ockham代数的理想与滤子同余关系的注记

依据双重伪补Ockham代数的核理想和余核滤子判别定理以及具有核理想和余核滤子同余关系表达式,研究了双重伪补Ockham代数的核理想和余核滤子同余关系的同余置换性,证明了双重伪补Ockham代数核理想同余关系和余核滤子同余关系是同构的.

R_0-代数的Boole可补元与直积分解

在R0-代数中引进了Boole可补元的概念,讨论了Boole可补元的一些基本性质;利用Boole可补元构造了R0-代数的一种直积分解.这些结果在一定程度上反映了R0-代数内部结构的特征,有益于从语义的角度进一步研究格值模糊逻辑系统.

可补半环

定义并研究了可补半环,得到了一些性质。最后指出可补半环一定包含一个子半环为布尔代数。

一类行列式的插值解法

应用Lagrange插值的思想给出一类典型行列式的统一解法.

浅谈在卡诺图中实现对偶律的方法

应用卡诺图来处理逻辑函数可以方便快速地使函数化简或变形。本文基于逻辑代数中的对偶律和卡诺图的化简方法,提出了在卡诺图中实现对偶律的方法:定义法,公式法,反码法。不同方法简单程度不同,反码法最为简便。

解析函数的加权代数中的闭理想问题

该文讨论了单位圆盘上解析函数的加权代数Ａｐ中的闭理想问题．并且利用加权系给出了一个闭理想成为Ａｐ中的补子空间的判断准则．

粗糙集的两种新型算子及其Boolean代数性质

主要定义两种新型算子并讨论基于这两种新型算子的粗糙集的代数性质.基于这两种算子建立了粗糙集的并、交、补运算,并证明在此定义下的粗糙集补集为Boolean补.

Kleene代数有直积分解的一个条件

本文利用分明元等概念 ,讨论了Kleene代数的直积分解 ,得到了Kleene代数为既约的条件 ,并在完备的条件下给出了Kleene代数有既约分解的一个充要条件 .

平衡伪补Ockham代数的O-理想

在平衡伪补Ockham代数上,引入O-理想的概念,利用平衡伪补Ockham代数核理想和余核滤子同余关系表达式,获得了平衡伪补Ockham代数上的理想成为O-理想的充要条件.

广义行列式在线性方程组求解中的应用

将广义行列式的概念应用于线性方程组的求解中,推广了克兰姆法则,得出了非齐线性方程组通解的一种新求法。

区间集上格蕴涵代数的特性研究

格蕴涵代数是一种处理不确定或不精确信息的格值逻辑系统,区间集是在近似推理、模糊控制等领域中有着广泛应用的重要研究方向。本文是在区间集上,给出了区间补、区间伪补和区间蕴涵三个运算的概念,证明了<I(2U),.,.,c,*>是有余格。与此同时,我们在区间集上重新构造了格蕴涵代数<I(2U),.,.,c,*,佀>,且讨论了该格蕴涵代数的一些特性,如等价性质,等于全集的性质,不等式性质和条件性质等等。