BR_0–代数的无序表示形式及WBR_0–代数性质 被引量：29

1

作者 吴洪博 王昭海 《工程数学学报》 CSCD 北大核心 2009年第3期456-460,共5页

对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。

关键词 模糊逻辑 逻辑代数 br0-代数 无序 Wbr0-代数

下载PDF 职称材料

BR_0-分配性及其推广 被引量：6

2

作者 李玲玲 吴洪博 《山东大学学报（理学版）》 CAS CSCD 北大核心 2012年第2期93-97,共5页

在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配... 在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。 展开更多

关键词 模糊逻辑 剩余格 br0-代数 br0-分配性 无限分配性

原文传递

BR_0-代数中MT理想的扩展及素MT理想的存在性 被引量：5

3

作者 吴洪博 王娜 《电子学报》 EI CAS CSCD 北大核心 2015年第6期1137-1143,共7页

BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法... BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对BR0-代数研究内容和方法的有益补充. 展开更多

关键词 逻辑代数 br0-代数 素并-理想 MT理想 扩展 素MT理想 存在性

下载PDF 职称材料

粗糙集代数与BR_0代数 被引量：1

4

作者 张秋霞 吴洪博 《计算机工程与应用》 CSCD 北大核心 2009年第17期55-56,79,共3页

讨论粗糙集代数与BR0代数的关系,以及由粗糙集代数构造BR0代数的方法。借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR0代数。

关键词 逻辑代数 br0代数 粗糙集 粗糙集代数

下载PDF 职称材料

BR_0代数中的次极大滤子 被引量：2

5

作者 李小杰 吴洪博 《计算机工程与应用》 CSCD 北大核心 2009年第12期36-37,共2页

首先在BR0代数M中引入滤子,然后又给出了M中次极大滤子的概念,并讨论了它的性质,得到了BR0代数中的每个滤子都可表示为一些次极大滤子的交的结果。特别地,在满足滤子降链条件的BR0代数中,每个滤子都可表示为有限个次极大... 首先在BR0代数M中引入滤子,然后又给出了M中次极大滤子的概念,并讨论了它的性质,得到了BR0代数中的每个滤子都可表示为一些次极大滤子的交的结果。特别地,在满足滤子降链条件的BR0代数中,每个滤子都可表示为有限个次极大滤子的交。 展开更多

关键词 br0代数 ×滤子 次极大×滤子

下载PDF 职称材料

BR_0代数的关联MP滤子和布尔MP滤子

6

作者 张秋霞 吴洪博 娄银华 《计算机工程与应用》 CSCD 北大核心 2009年第13期39-41,共3页

引入BR0代数的关联MP滤子。研究它的特征,证明如下主要结果:F是关联MP滤子,当且仅当F是布尔MP滤子。从而BR0代数成为Boole代数的充要条件是每个MP滤子均为布尔MP滤子或关联MP滤子。

关键词 逻辑代数 br0代数 关联MP滤子 布尔MP滤子

下载PDF 职称材料

BR_0代数中的模糊布尔滤子 被引量：1

7

作者 詹婉荣 于海 王国俊 《云南师范大学学报（自然科学版）》 2009年第1期1-4,共4页

在BR0代数中引入模糊滤子和模糊布尔滤子的概念,给出了BR0代数中模糊滤子的充要条件以及若干性质。讨论了模糊布尔滤子与截集的关系。最后得到了模糊布尔滤子的几个等价刻画。

关键词 br0代数 模糊滤子 模糊布尔滤子

下载PDF 职称材料

可换BR_0代数的刻画和性质 被引量：5

8

作者 凌雪岷 徐罗山 《扬州大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第1期1-4,37,共5页

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

关键词 可换br0代数 有界可换BCK代数 正则HFI代数

下载PDF 职称材料

BR_0代数中理想及其性质 被引量：5

9

作者 李小杰 吴洪博 《模糊系统与数学》 CSCD 北大核心 2009年第2期93-97,共5页

通过在BR0代数M中引入运算定义了M中的理想和素理想,然后讨论了生成理想的性质,得到了一些好的结果;最后讨论了素理想的性质,得到了BR0代数中素理想定理。

关键词 br0代数 +理想 素+理想

下载PDF 职称材料

PBR_0代数的性质及其滤子 被引量：1

10

作者 龚加安 吴洪博 《河南师范大学学报（自然科学版）》 CAS 北大核心 2016年第3期7-13,共7页

在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质.

关键词 逻辑代数 br0代数 Pbr0代数 滤子 生成滤子

下载PDF 职称材料

BR_0代数中的滤子与理想

11

作者 张红杰 吴洪博 《安康学院学报》 2007年第1期82-85,共4页

通过引入BR0代数中的滤子与理想以及素滤子的概念,研究了BR0代数中的滤子的若干性质,证明了BR0代数中的同余扩张定理,最后给出了与滤子对偶的理想的若干性质.

关键词 br0代数 滤子 理想

下载PDF 职称材料

伪BR_0代数及其性质 被引量：1

12

作者 张秋霞 吴洪博 《云南师范大学学报（自然科学版）》 2008年第2期1-4,共4页

文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封... 文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的。 展开更多

关键词 逻辑代数 伪br0 代数 br0代数 簇

下载PDF 职称材料

BR_0代数与FI代数的关系

13

作者 娄银华 李丽 吴洪博 《河南科技大学学报（自然科学版）》 CAS 2008年第4期98-100,共3页

研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系。

关键词 FI代数 正则FI代数 R0代数 br0代数 B R0代数的简化形式

下载PDF 职称材料

弱BR_0代数

14

作者 张秋霞 吴洪博 《纺织高校基础科学学报》 CAS 2008年第1期4-9,共6页

探讨BR0代数中不可交换的t模.研究了王国俊教授的《非经典数理逻辑》中剩余格部分,结合吴洪博教授所提出的BR0代数,从t模角度切入,限制t模的交换条件.在BR0代数基础上得到了一类更具有一般意义的弱BR0代数,给出了它的性质及等价刻画;并... 探讨BR0代数中不可交换的t模.研究了王国俊教授的《非经典数理逻辑》中剩余格部分,结合吴洪博教授所提出的BR0代数,从t模角度切入,限制t模的交换条件.在BR0代数基础上得到了一类更具有一般意义的弱BR0代数,给出了它的性质及等价刻画;并且证明了弱BR0代数类形成一个代数簇,即等式代数簇.提出了一类新的逻辑代数-弱BR0代数,为深入研究BR0代数奠定基础. 展开更多

关键词 逻辑代数 弱br0代数 br0 代数 簇

下载PDF 职称材料