DR0代数:由De Morgan代数导出的正则剩余格

首先讨论了De Morgan代数与剩余格的关系，并引入强De Morgan代数的概念，讨论了它的基本性质．随后，将著名的R0蕴涵拓广到De Morgan代数上，称为广义R0蕴涵；证明了添加广义凰蕴涵和相应 算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数，并由此引入D‰代数的概念．接着，研究了DR0代数与‰代数的关系，证明了以下结论：Boole代数是DR0代数；全序DR0代数和全序R0代数等价；DR0代数是R0代数当且仅当它满足预线性条件；无中点的DR0代数是BL代数当且仅当它是Boole代数．最后，举例说明了非D兄D代数的RD代数、以及非R0代数的DR0代数都是存在的．     

BCK-代数的Ω-模糊正定关联理想

给定一个集合Ω,引入了BCK-代数的Ω-模糊正定关联理想的概念,给出了一些恰当的例子,讨论了BCK-代数的Ω-模糊理想与Ω-模糊正定关联理想的关系.利用模糊正定关联理想,刻画了Ω-模糊正定关联理想.反之,模糊正定关联理想通过Ω-模糊正定关联理想来构造.证明了Ω-模糊正定关联理想(Ω-模糊理想)的同态原象仍是Ω-模糊理想(Ω-模糊理想).     

分配的Fuzzy蕴涵代数

给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的，从而得到Boole代数的两个等价形式，并且证明了分配的Fuzzy蕴涵代数是BL代数，最后得到了FI代数成为Boole代数的几个充要条件。     

R_0-代数的Stone拓扑表示定理

研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。     

弱MTL-代数上的几种演绎系统及其商代数

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。     

强Ockham代数与剩余格

首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质．然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数．最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的．     

有界Heyting代数的交换理想与关联理想

运用泛代数和格理论的方法和原理进一步深入研究有界Heyting代数的理想问题。在有界Heyting代数中引入了交换理想、关联理想和正关联理想概念并讨论了它们的性质和相互关系。获得了各种理想的若干等价刻画。证明了在有界Heyting代数中,关联理想和正关联理想等价;在Ockham型有界Heyting代数中,理想和交换理想等价。同时,给出了有界Heyting代数的交换理想成为关联理想的一个充分必要条件。     

HEYTING代数与FUZZY蕴涵代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。     

关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

BCK代数的Ω犹豫模糊正定关联理想

在集合Ω中,用犹豫模糊集、Ω模糊集来研究BCK-代数,定义了BCK-代数中的Ω犹豫模糊正定关联理想,讨论其性质及若干等价刻画;研究了两个关系,一个是Ω犹豫模糊理想与Ω犹豫模糊正定关联理想之间的关系,另一个是犹豫模糊正定关联理想与Ω犹豫模糊正定关联理想的关系;证明了Ω犹豫模糊正定关联理想(Ω犹豫模糊理想)的同态原像是Ω犹豫模糊理想(Ω犹豫模糊理想).     

关于BL-代数的模糊滤子与模糊理想

在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。     

HEYTING代数与FUZZY蕴函代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。     

MV-代数的广义导子

借助于MV-代数的自同态引入并研究了MV-代数上的广义(→,⊕)-导子,得到了其等价刻画.此外,给出了MV-代数的广义中心主导子的概念,在此基础之上讨论了广义(→,⊕)-导子与MV-代数其它导子之间的关系,并利用强主中心广义导子的不动点集给出MV-代数成为Boole代数的等价刻画.所得结论推广了MV-代数上的导子,并借...     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

群逆伪BCI-代数与群逆滤子(英文)

伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。     

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。     

BL代数的(∈,∈∨q)-模糊滤子理论

对BL代数的(∈,∈∨q)-模糊滤子理论作系统研究。首先,在BL代数中引入(∈,∈∨q)-模糊对合滤子和(∈,∈∨q)-模糊结合滤子两类新概念,获得了这两类(∈,∈∨q)-模糊滤子的几个等价刻画。其次,详细讨论了BL代数中各类(∈,∈∨q)-模糊滤子间的关系,证明了一个模糊集为(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是(∈,∈∨q)-模糊正关联滤子又是(∈,∈∨q)-模糊对合滤子。最后,以直观图示的方式对BL代数中各类(∈,∈∨q)-模糊滤子间关系进行了总结。     

BCHK-代数的亚原子

在BCHK-代数中引入了亚原子的概念,给出了亚原子的一些性质.证明了有限偏序BCHK-代数一定存在亚原子,且X\{0}等于其所有亚分支的并集.证明了一个BCHK-代数的亚原子和元素0做成的集合是X的一个子代数,不变亚原子和元素0做成的集合是X的一个理想.     

Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

MV代数定义的蕴涵简化形式

通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。