正则FI代数及其伴随代数

引入了正则FI代数伴随代数的概念，研究了该伴随代数与Boolean代数的联系；同时讨论了正则FI代数许多有趣的性质。     

关于正则蕴涵算子

目的研究可与三角模构成伴随的蕴涵算子，即正则蕴涵算子。方法非经典数理逻辑的语义理论。结果对正则蕴涵算子的定义进行了简化，进而介绍了一种生成正则蕴涵算子的方法，最后就某些具有特殊性质的正则算子进行了研究，得到了相应的函数特征。结论正则蕴涵算子对于建立完备的逻辑系统至关重要。     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

一类正规蕴涵及其导出算子

通过对一些蕴涵算子性质的的研究得出:伴随对是三角模的蕴涵算子一定是正规蕴涵;若正规蕴涵的伴随对是三角模则其导出算子是其自身;正则蕴涵算子的导出算子是其自身.这些结论对建立多值逻辑的语义理论有重要的应用.     

FI代数中基于相对非的滤子

引入了FI代数中相对非的概念,讨论了相对非的性质。利用相对非给出了FI代数中相对正则滤子、扩展相对正则滤子和弱相对正则滤子的概念,得到了这些滤子的特征定理。分析了FI代数中基于滤子的相对双补元之集的代数性质,得到了扩展相对正则滤子的应用。     

FI代数的（正规）MP滤子与MP理想

给出了Fuzzy蕴涵代数的MP滤子的性质和等价刻画;讨论了(正则)Fuzzy蕴涵代数中MP滤子与MP理想、正规MP滤子与正规MP理想的关系.证明了在正则FI代数中,一个子集是(正规)MP理想当且仅当它的对偶是(正规)MP滤子.构造反例说明在一般FI代数中MP理想和MP滤子不必对偶.     

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

正则FI代数的MP滤子性质新探

讨论了正则FI代数中MP滤子的性质与应用。获得了正则FI代数中MP滤子的若干新性质,证明了正则FI代数中生成MP滤子的一个新的表示定理;利用MP滤子概念在正则FI代数上构造了一个同余关系,讨论了此同余关系的基本性质。     

一类图的伴随等价

利用图的伴随多项式最小根的性质,伴随多项式的第四项系数,给出了ξ1n(5,n-5)(n≥7)和ξ2n(1,n-4)(n≥6)的伴随等价类.     

lp2∪T（1，1，n）的伴随等价图类

利用伴随多项式的最小实数根的性质完整刻画了lp2∪T（1,1,n）（n≥1）的伴随等价图类．     

路圈和Dn并补的色唯一性

本文证明了两类图Ｐ并Ｃ并Ｄ并（ｌＣ３）和Ｐ并Ｃ并Ｄ并（ｌＣ３）并（Ｐｑ－１）的补图在一定条件下是唯一的。     

树T（1，3，n）的伴随唯一性

利用图的伴随多项式最小根及其特殊分支,简化并完整证明了树T（1,3,n）（n≠3,6,7,11）的伴随唯一性．     

三类图的伴随唯一性

本文利用图的伴随多项式的性质证明了三类新图的伴随唯一性。     

线性算子对偶半群的弱*生成元

首先,给出了弱 连续半群及它的弱 生成元的定义.然后,主要讨论了C0半群的对偶半群的弱 生成元的性质.     

_n的色唯一性

设n 4,Dn表示Pn-2的一个1度点中K3的一个顶点粘拉得到的图。利用伴随多项式及其最小负实数根的性质简化证明了_n色唯一的充要条件是n≠4,8。     

向量函数空间上两个极限圆型微分算子乘积的自伴性

讨论在了Ｌ２向量函数空间上由奇异形式自伴微分表达式定义的极限圆型乘积算子的最大算子域构造是，并在此基础以其自伴域的解析描述，乘积算子Ｔ＝Ｔ２．Ｔ１自伴的充分必要条件是Ａ１Ｑ＾－１（０）Ａ２＝Ｂ１ＪＢ２，其中Ａｉ，Ｂｉ（ｉ＝１，２）决定了乘积算子的边界条件，即乘积算子自伴性由其边条件的性质唯一决定。     

一类非线性优化问题的伴随方程算法

对一类具有线性等式约束和一般不等式约束的非线性优化问题进行了讨论，建立了一类伴随方程算法．     

一类稠密图的色唯一性

用Pn表示有n个顶点的路.Dn表示把K3的一个顶点与Pn-2的一个一度顶点重迭后得到的图.Fn表示把K3的一个顶点与Dn-2的一度点重迭后得到的图.用伴随多项式来讨论图的着色唯一性.得到Fn的补图色唯一的充要条件是n≠17.彻底解决了这类稠密图的色性.