MTL-代数的演绎系统和余零化子及其相互关系

首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。     

MTL-代数上的广义赋值

本文研究了MTL-代数上的几类广义赋值,讨论了MTL-代数上广义赋值、态以及滤子之间的关系,获得了MTL-代数上广义赋值成为(正)关联广义赋值的等价刻画,并基于广义赋值构造的同余关系研究了MTL-代数的商结构.所得结果推广了基于三角模的模糊逻辑代数上广义赋值的相关理论,进一步丰富了基于三角模的模糊逻辑代数上概率测度的代数结论.     

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

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

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代数都是存在的．     

MTL-代数的一个Cantor-Bernstein型定理

本文首先证明了MTL-代数上由Boolean元e诱导的商代数同构于区间代数[0,e],继而给出了完备MTL-代数的区间直积分解,最后建立了强完备MTL-代数上的Cantor-Bernstein定理。     

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

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

分配的Fuzzy蕴涵代数

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

BCI-代数与弱FI-代数的对偶关系

讨论了BCI-代数与弱FI代数的关系,主要给出了如下结论:BCI-代数与弱FI代数相互对偶,p-半单BCI-代数与正则弱FI-代数相互对偶,BCI-代数的加法半群与弱FI-代数的加法半群一致,BCI-代数的理想与弱FI代数的滤子等价。     

R_0代数及其基本结构

以Ｒ０－Ｌｉｎｄｅｎｂａｕｍ代数为背景,提出了较蕴涵格稍强的Ｒ０代数概念,在讨论了其基本性质的基础上给出了Ｒ０代数的两个等价系统,并从商代数的角度研究了Ｒｏ代数的基本结构．     

MTL代数的特征定理

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

强Ockham代数与剩余格

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

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

MV-代数的广义导子

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

HEYTING代数与FUZZY蕴函代数

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

HEYTING代数与FUZZY蕴涵代数

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

WBR_0-代数成为Boole代数的条件

在WBR_0-代数中引入了蕴涵式条件(Imp)和可分解性条件(Dis),证明了在WBR_0-代数中这两个条件等价。引入了(正定)关联WBR_0-代数概念,并证明了满足(Imp)条件的WBR_0-代数与(正定)关联BR0-代数等价。我们也证明了蕴涵式WBR_0-代数与Boole代数等价,由此获得了WBR_0-代数成为Boole代数的四个充要条件。     

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

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

FI代数的新型软MP理想

将软集概念及其相关运算运用到FI代数问题的研究。首先,提出了FI代数新型软MP理想的概念;其次利用软集的交(限制交)、且等运算,研究了FI代数的软MP理想的基本性质,并运用对偶软集的方法给出了FI代数软MP理想的等价刻画;最后讨论了FI代数的软MP理想的同态像和原像的性质。     

BCI-代数的伴随代数和a-伴随代数

研究BCI-代数与群和半群之间的关系.先用BCI-代数产生两个新代数,再反过来用这两个新代数研究BCI-代数.引入了BCI-代数的伴随代数和a-伴随代数的概念,讨论了它们的运算公式和性质,并由此给出了广义结合与广义a-结合BCI-代数的几个等价命题.推广了广义结合BCI-代数的伴随群和广义a-结合BCI-代数的伴随摩群的概念及参考文献中的一些结论.     

BCI-代数的伴随代数和α-伴随代数

研究BCI-代数与群和半群之间的关系.先用BCI-代数产生两个新代数,再反过来用这两个新代数研究BCI-代数.引入了BCI-代数的伴随代数和α-伴随代数的概念,讨论了它们的运算公式和性质,并由此给出了广义结合与广义α-结合BCI-代数的几个等价命题.推广了广义结合BCI-代数的伴随群和广义α-结合BCI-代数的伴随摩群的概念及参考文献中的一些结论.