蕴涵代数与BCK代数 被引量：10

1

作者 朱怡权 《模糊系统与数学》 CSCD 2002年第3期31-37,共7页

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合

关键词 (正则)fi代数 MV代数 格蕴涵代数 BCK代数

下载PDF 职称材料

FI代数的(正规)MP滤子与MP理想 被引量：1

2

作者 师涛 徐罗山 《扬州大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第1期1-3,13,共4页

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

关键词 (正则)fi代数 MP滤子 正规MP滤子 MP理想

下载PDF 职称材料

FI代数中MP滤子的等价刻画

3

作者 师涛 《河北北方学院学报（自然科学版）》 2008年第6期9-11,共3页

Fuzzy蕴涵代数(简称FI代数)是逻辑蕴涵连接词的代数化,揭示了蕴涵算子所具有的共同特征.为探讨FI代数中MP滤子与正规MP滤子的性质,给出了FI代数中非空子集成为MP滤子的充要条件.通过反例说明了在FI代数中MP滤子不必是正规MP滤子.指出在... Fuzzy蕴涵代数(简称FI代数)是逻辑蕴涵连接词的代数化,揭示了蕴涵算子所具有的共同特征.为探讨FI代数中MP滤子与正规MP滤子的性质,给出了FI代数中非空子集成为MP滤子的充要条件.通过反例说明了在FI代数中MP滤子不必是正规MP滤子.指出在正则FI代数中正规MP滤子一定是MP滤子.还利用正则FI代数中的MP滤子和正规MP滤子对可交换FI代数做出了等价刻画. 展开更多

关键词 (正则)fi代数 MP滤子 正规MP滤子

下载PDF 职称材料

FI代数同构于一族全序FI代数的直积的子代数的条件 被引量：12

4

作者 刘练珍 李开泰 《纯粹数学与应用数学》 CSCD 2004年第1期63-67,共5页

解决了王国俊教授提出的关于FI代数的嵌入问题,并进一步研究了FI代数与一族全序FI代数的直积的子代数同构的条件.主要结果是:交换FI代数可同构嵌入一族全序交换FI代数的直积;分配FI代数可同构嵌入一族全序分配FI代数的直积.

关键词 fi代数 正则fi代数 交换fi代数 分配fi代数 直积 滤子

下载PDF 职称材料

正则FI代数的若干性质 被引量：10

5

作者 陈伟 《模糊系统与数学》 CSCD 2001年第4期24-27,共4页

讨论正则 FI代数的若干性质。在研究 FI代数与 Boole代数间关系的同时 ,给出正则 FI代数与BCK代数的另一种联系方式。

关键词 正则fi代数 BOOLE代数 BCK代数 Fuzzy蕴含代数

下载PDF 职称材料

基于正则FI代数的MT理想及其应用 被引量：12

6

作者 吴洪博 汪宁 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1389-1394,共6页

本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件... 本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法. 展开更多

关键词 逻辑代数 正则fi代数 MT理想 同余关系 还原性 条件嵌入 生成方法

下载PDF 职称材料

WBR_0-代数的两种弱化形式及其性质 被引量：7

7

作者 吴洪博 王娜 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第4期1-5,共5页

将WBR0-代数的条件进行两种不同形式的弱化,建立了模糊BR0-代数(FBR0-代数)结构和正则BR0-代数(RBR0-代数)结构,讨论了其中的相关性质.证明了:正则BR0-代数是模糊BR0-代数,模糊BR0-代数和FI-代数是相同代数结构,正则BR0-代数和正则FI-... 将WBR0-代数的条件进行两种不同形式的弱化,建立了模糊BR0-代数(FBR0-代数)结构和正则BR0-代数(RBR0-代数)结构,讨论了其中的相关性质.证明了:正则BR0-代数是模糊BR0-代数,模糊BR0-代数和FI-代数是相同代数结构,正则BR0-代数和正则FI-代数是相同代数结构.分别构造了非正则BR0-代数的模糊BR0-代数和非WBR0-代数的正则BR0-代数,从而阐明了模糊BR0-代数、正则BR0-代数、WBR0-代数的相互蕴涵关系和相对独立性. 展开更多

关键词 模糊逻辑 WBR0-代数 FBR0-代数 RBR0-代数 fi-代数 正则fi-代数

下载PDF 职称材料

正则FI-代数与WBR_0-代数的关系 被引量：6

8

作者 陈冬青 吴洪博 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第5期7-10,共4页

对正则FI-代数和WBR0-代数进行了研究,讨论了两者之间的关系.改进了正则FI-代数原有的定义;证明了WBR0-代数一定是正则FI-代数;通过实例说明正则FI-代数不一定是WBR0-代数;证明了正则FI-代数是WBR0-代数的一个充分条件是:((a→0)→b)→c... 对正则FI-代数和WBR0-代数进行了研究,讨论了两者之间的关系.改进了正则FI-代数原有的定义;证明了WBR0-代数一定是正则FI-代数;通过实例说明正则FI-代数不一定是WBR0-代数;证明了正则FI-代数是WBR0-代数的一个充分条件是:((a→0)→b)→c=((a→c)→((b→c)→0))→0. 展开更多

关键词 逻辑代数 WBR0-代数 正则fi-代数 有界格 等价形式

下载PDF 职称材料

关于正则剩余格与R_0^-代数的几点注记 被引量：2

9

作者 朱怡权 《黄冈师范学院学报》 2003年第6期4-7,共4页

正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.

关键词 正则fi-代数 强正则剩余格 弱Ro-代数 模糊逻辑 “语义代数”

下载PDF 职称材料

正则FI-代数上的伴随算子 被引量：2

10

作者 朱怡权 《宁夏大学学报（自然科学版）》 CAS 2003年第4期296-299,共4页

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.

关键词 正则fi-代数 伴随算子 正则剩余格 模糊逻辑 伴随半群 蕴涵算子 FUZZY蕴涵代数

下载PDF 职称材料

Fuzzy蕴涵代数的MP理想与正规MP理想 被引量：3

11

作者 师涛 徐罗山 《模糊系统与数学》 CSCD 北大核心 2009年第5期1-6,共6页

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

关键词 FUZZY蕴涵代数 正则fi代数 MP理想 正规MP理想

下载PDF 职称材料

BR_0-代数的简化及FI-代数的关系

12

作者 娄银华 吴洪博 《南阳师范学院学报》 CAS 2008年第6期1-3,共3页

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩... 研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系. 展开更多

关键词 fi-代数 正则fi-代数 R0-代数 BR0-代数 WBR0-代数 剩余格 正则剩余格

下载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 职称材料

DFI代数的距离函数及其性质 被引量：1

14

作者 刘慧敏 吴洪博 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2016年第2期207-214,共8页

考虑分配的Fuzzy蕴涵代数(DFI代数).首先将距离函数的概念引入到DFI代数中,得到了DFI代数中距离函数的一些基本性质,并给出了在某些特殊的DFI代数(如全序DFI代数)上距离函数的特殊性质;其次,在DFI代数中引入一个新运算,得到了DFI代数... 考虑分配的Fuzzy蕴涵代数(DFI代数).首先将距离函数的概念引入到DFI代数中,得到了DFI代数中距离函数的一些基本性质,并给出了在某些特殊的DFI代数(如全序DFI代数)上距离函数的特殊性质;其次,在DFI代数中引入一个新运算,得到了DFI代数距离函数的等价定义和性质;最后,根据所引进的距离函数建立相应的距离空间,并给出了一些性质. 展开更多

关键词 fi代数 正则fi代数 Dfi代数 距离函数

下载PDF 职称材料

BCI-代数与弱FI-代数的对偶关系 被引量：1

15

作者 杨闻起 《模糊系统与数学》 北大核心 2017年第2期7-12,共6页

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

关键词 BCI-代数 P-半单BCI-代数 弱fi-代数 弱正则fi-代数

原文传递

关于W_d-模糊蕴涵代数的一点注记

16

作者 邓方安 任胜章 陈露 《模糊系统与数学》 北大核心 2017年第3期22-26,共5页

进一步研究了模糊蕴涵代数(简称FI代数)的一个子代数Wd-FI代数的性质,给出了一个(2,0)型代数(X,→,0)成为Wd-FI代数的充分必要条件,得到了任意一个Wd-FI代数一定是正则FI代数及任意一个Wd-FI代数一定不是交换FI代数等有趣结论。

关键词 fi代数 Wd-fi代数 正则fi代数 Heyting型fi代数

原文传递

正则FI代数及其伴随代数

17

作者 邹庭荣 肖云萍 《广西师范学院学报（自然科学版）》 2003年第4期24-28,共5页

引入了正则FI代数伴随代数的概念 ,研究了该伴随代数与Boolean代数的联系 ;

关键词 fi代数 正则fi代数 伴随代数 Boolean代数

下载PDF 职称材料

正则FI-代数的刻画及成为Boole代数的条件

18

作者 凌雪岷 徐罗山 杨凌云 《计算机工程与应用》 CSCD 北大核心 2018年第16期59-62,共4页

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨... 正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨了蕴涵分配正则FI-代数的若干性质,证明了蕴涵分配正则FI-代数与Boole代数是相互等价的代数系统,给出了Boole代数的一种新的刻画,使其在形式上更接近于二值逻辑代数。 展开更多

关键词 fi-代数 正则fi-代数 蕴涵分配性 BOOLE代数

下载PDF 职称材料

关于对合BCK代数 被引量：1

19

作者 凌雪岷 《佛山科学技术学院学报（自然科学版）》 CAS 2020年第1期39-43,60,共6页

证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。

关键词 对合BCK代数 正则fi-代数 分配性 BOOLE代数

下载PDF 职称材料

FI代数的伴随半群

20

作者 杨闻起 《模糊系统与数学》 北大核心 2019年第4期66-70,共5页

引入了FI代数的伴随半群的概念,表明了它是含幺交换序半群,并讨论了它的性质,得到FI代数的滤子与其伴随半群的滤子之间的关系.

关键词 fi-代数 正则fi代数 伴随半群 滤子

原文传递