EBL-代数上的Bosbach态和Riecan态

基于逻辑代数上的态理论,提出了EBL-代数上的Bosbach态和RieCan态的概念,得到了它们的性质以及等价刻画,证明了对合EBL-代数上的Bosbach态与Riefian态是等价的。

BL-代数的n-重模糊蕴涵滤子

引入BL-代数的n-重模糊蕴涵滤子概念,讨论了n-重模糊蕴涵滤子的性质,给出若干等价刻画,给出了验证n-重模糊蕴涵滤子的一个简单条件。用n-重模糊蕴涵滤子对n-重蕴涵BL-代数进行了刻画,证明了一个模糊滤子是一个n-重模糊蕴涵滤子当且仅当对应的商代数是一个n-重蕴涵BL-代数。

粗糙集代数与BL代数

讨论粗糙集代数与BL代数的关系以及由粗糙集代数构造BL代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙集代数就成为BL代数。

MV-代数、BL-代数、R_0-代数与多值逻辑

证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 。

关于BL-代数的模糊滤子与模糊理想(英文)

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

BL-代数的弱(相对)零化子

基于格的相对零化子概念提出了BL-代数的弱相对零化子概念。讨论了弱相对零化子的基本性质,证明了弱相对零化子是BL-代数的滤子,给出了弱相对零化子的表示定理。进一步提出了弱零化子概念,给出了零化子等价于弱零化子的充要条件,刻画了BL-代数全体滤子集的结构。结论为今后研究BL-代数的弱广义相对零化子提供了基础。

BL-代数上的⊙-导子

本文引入了BL-代数的⊙-导子并研究了BL-代数上⊙-导子的相关问题.利用导子的保序性,不动点集和BL-代数的格理想,讨论了BL-代数上的保序∧-导子和保序⊙-导子的关系,并给出了Gdel代数和线性Gdel代数的刻画.这些结果丰富了逻辑代数上的导子理论.

BL-代数上的几种直觉模糊滤子

结合直觉模糊集和滤子理论,对BL-代数上的直觉模糊滤子进行了研究。首先回顾了BL-代数和直觉模糊集的有关基础知识。然后引入BL-代数上的直觉模糊滤子、直觉模糊格滤子、直觉模糊布尔滤子和直觉模糊蕴涵滤子的概念,讨论了它们的一系列重要性质,证明了直觉模糊滤子与直觉模糊格滤子、直觉模糊布尔滤子和直觉模糊蕴涵滤子是等价的,并用实例进行了验证。最后探讨了直觉模糊滤子和模糊滤子的关系。

BL代数的一种弱化形式

在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形式;在MTL-代数的基础上给出WBL-代数的一些特征定理.

BL-代数的obstinate滤子和ultra滤子

针对一个公开问题:BL-代数中"一个normal滤子在什么合适条件下成为fantastic滤子?",通过研究BL-代数的fantastic滤子的等价条件,给出公开问题结论成立的两种条件.

BL代数的fantastic滤子和normal滤子

滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件.

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果.

MV-代数、R_0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格

基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质.说明了剩余格在逻辑代数系统中的重要地位;分析了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数以及基础R0代数之间的相互关系,为进一步的研究奠定了必要的基础.

R_0-代数与BL-代数中的素滤子定理(英文)

R0-代数与BL-代数在模糊逻辑的研究中有重要作用,这与布尔代数在经典逻辑中的作用类似。本文通过一个特殊集x?1F分别给出R0?代数及BL-代数素滤子的一个等价条件,并给出BL-代数的一个新性质。应用这些结果分别得到R0-代数与BL-代数的素滤子定理。

BL-代数的v-滤子

将Vague集理论与BL-代数的滤子理论相结合,提出了BL-代数的v-滤子的概念,研究了BL-代数的v-滤子的性质以及若干等价刻画,最后研究了BL-代数的v-滤子与滤子之间的关系.

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

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈∨q)-模糊素滤子的概念并研究其性质.获得了BL-代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构(同态)像(原像)仍为(∈,∈∨q)-模糊素滤子这一结论.

伪BL-代数的犹豫模糊滤子

提出了伪BL-代数的犹豫模糊滤子的概念,给出它的几个等价刻画,并研究了它的一些性质。进一步,引入了伪BL-代数的几种犹豫模糊滤子,如犹豫模糊Boolean滤子、犹豫模糊正规滤子、犹豫模糊超滤子和犹豫模糊固执滤子,讨论了它们的一些刻画,给出了其间的一些关系。通过研究伪BL-代数中犹豫模糊Boolean滤子与犹豫模糊正规滤子的关系,解决了伪BL-代数中是否每个Boolean滤子都是正规滤子这样一个开问题。

BL-代数的(∈,∈∨q)-模糊理想

在BL-代数中引入了(∈,∈∨q)-模糊理想的概念,给出了(∈,∈∨q)-模糊理想的性质和等价刻画;然后,通过模糊积和模糊上集概念的引入,给出了(∈,∈∨q)-模糊理想的一个新的等价刻画;最后,在模糊陪集的基础上构造了商BL-代数.

BL-代数的特征(英文)

证明任何BL-代数均为S-代数。

关于BL代数两组附加条件的研究

给出了BL代数的两组(A组和B组)附加条件,详细讨论了这些附加条件的相互关系,并指出Boole代数就是满足A组条件的BL代数,MV代数、格蕴涵代数(Lattice implication algebra)就是满足B组条件的BL代数,从而得到了这几种代数之间的关系.