BCK代数相关论文
该论文的目的是进一步将模糊点的概念引入到模糊半群、模糊环、模糊域及模糊BCK-代数的研究.并建立普通方法、传统的模糊方法与模......
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来，模糊控制技术在应用方面取得了举世瞩目的成功．然而，作为其核心的模糊推......
将软集的参数集赋予BCK代数的代数结构,给出了(α,β)-软BCK代数的概念,并验证了得到的(α,β)-软BCK代数是交软BCK代数和α-交软B......
梁希泉教授研究方向是微分拓扑学,他是我国数学、数学问题计算机证明等方面的专家,也是国际Mizar-Group的重要成员之一,近10年来,......
引进了BCK代数的一种新的扩张方法--极大元扩张法,使得其他扩张法,如拟交错扩张法、有界BCK代数的Iseki扩张,都是极大元扩张法的特......
将Zadeh提出的区间值模糊集概念应用于理想化软BCK代数问题的研究。借助于BCK代数的区间值模糊理想、区间值（∈,∈∨q）-模糊理想和区......
本文证明了在具有条件（S）的半单关联BCK—代数中，f是满态射当且仅当f是满同态。...
引入BCK代数X的一种新的扩张方法－极大元扩张，这种扩张对X没有限制条件，且对X的每个元素都可以有一种扩张，着重刻划了极大元扩张的几种......
本文是作者［１］－［６］的继续，我们得到下述结果：定理４．设Ｉ是ＢＣＫ－代数Ｘ的一个理想，ａ是Ｘ的一个元素，则包含Ｉ和ａ的最小理想是对某个非负整数｝．定理１４．设Ｘ是一个Ｌｕｋａｓｉｅｗｉｃｚ代数，Ｉ是Ｘ的......
设X=(X;*,0)是BCK-代数,对X中元素a,b规定a【b=a*b=0,若X对于序关系【是一个全序集,则称X是具有自然全序的BCK-代数,我们证明了具......
本文是作者[1],[2]和[3]的继续,引入了可换理想的概念,并讨论它的重要性质,特别是用可换理想刻划了可换BCK-代数,从而建立了BCK-代......
本文刻划了ＢＣＫ一代数与ＢＣＩ一代数中的Ｈａｍｉｌｔｏｎ问题．...
本文引入了BCK一代数N-根和N-半单代数的概念,且讨论了它们的有关性质...
在[1]中作者给出了下面的定义. 定义1 一个（2,0）型代数（X,→,0）称为FI代数,如果（?） x,y,z∈X,有 （I<sub>1</sub>） x→（y→z）=y→（x→z）, （I<sub>......
将软集的参数集赋予BCK代数的代数结构，给出了(α,β)-软BCK代数的概念,并验证了得到的(α,β)-软BCK代数是交软BCK代数和α-交软BC......
本文是作者[8]的继续,在[8]中我们引进了对偶理想的概念,本文主要讨论了,在有界BCK-代数中如何由一个集合生成对偶理想,并给出了有......
一个BCK-代数【X;*,0】叫做关联的,如果它满足 (1).x*(y*x)=x K.Is’eki[2]证明了满足(1)的BCI-代数是一个BCK-代数。于是为了引入......
本文主要讨论有限关联BCK-代数的存在性结构和个数问题。命题1 设N’是全体正无平方因子数的集合。若在N’上定义二元运算......
一个(2,0)型代数【X;*,O】叫做BCK-代数,如果对任意的x,y,z∈X恒有:BCK-1.(x*y)*(x*z)【z*y;BCK-2.x*(x*y)【y;BCK-3.x【x;BCK-4.0......
首先指出在ＢＣＣ－代数中，下述两个条件并不等价：（１）（ｘ＊ｚ）＊（ｙ＊ｚ）＝（ｚ＊ｙ＿＊ｚ；（２）（ｘ＊ｙ＊ｙ＝ｘ＊ｙ。随后给出由Ｗ．Ａ．Ｄｕｄｅｋ１９９２年定义的正关联ＢＣＣ－代数的一个简单的公理系统。......
在ＢＣＫ－代数中引进了一个右映射和ＢＣＩ－代数中引进了一个弱左映射，并探讨它们的性质。从而推广了文［１］中大部分结果。主要结果是：如果Ｘ是一个ＢＣＫ－代数，Ｙ是......
本文引入ＢＣＩ－代数的ＫＩ并代数，它是ＢＣＫ－代数的无交并的推广。...
引进了 BCK代数的一种新的扩张方法——极大元扩张法 ,使得其他扩张法 ,如拟交错扩张法、有界 BCK代数的 Iseki扩张 ,都是极大元扩......
给出了关联BCK -代数的主滤子与关联滤子的概念 ,并得到了一些有趣的结果 :Ⅰ )主滤子 [a]是一个并代数、完全格和分配格。Ⅱ )给......
提出了软BCK代数的概念，研究了软BCK代数的并，交和乘积运算，讨论了这些运算的代数性质。......
本文证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。......
给出了软BCK代数的广义交运算和广义并运算,证明了一个集合X上的一族软BCK代数{（Fi,Ai）}i∈I的广义交和一族软BCK代数{（Fi,Ai）}i∈I（对......
将Zadeh提出的区间值模糊集的概念应用于BCK代数，提出BCK代数的区间值（∈，∈vq）模糊子代数的概念并研究其性质。给出了区间值模糊集成......
系统研究Fuzzy蕴涵代数与BCK代数之间的关系,给出MV代数与BCK代数之间的联系,建立正则FI代数和对合BCK代数的对偶代数.......
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此......
本文将张文修提出的包含度引入ＢＣＫ－代数中，证明了一类ＢＣＫ－代数的包含度的存在性。给出了ＢＣＫ－代数上包含度的基本性质，刻划了ＢＣＫ－代数拟紧性的特征。......
综述BCK／BCI代数在逻辑代数中的地位与意义，回顾所知国内外学者在该领域的一些主要工作，介绍了BCK／BCI代数理论中的一些概念、术语和成......
利用BCK代数X的理想A对X做了一种等价分类，从而得到了X的商代数X／A．...
给出了BCK代数的一个等价公理,讨论了BCK代数的伴随代数....
本文探讨了粗糙集代数与BCK代数的关系以及由粗糙集代数构造BCK代数的方法,并证明了在选取适当的运算后,粗糙集代数就能够转变为BC......
本文回答了井关于清志的两个问题,讨论有界关联BCK代数与布尔环之间的关系....
本文对带算ＢＣＫ－代数的概念加以抽象化，引进ＢＥ－代数上模的概念，进而引进模同态，模同构等概念，讨论了ＢＥ－代数上模的一些基本性质，在此基础上，引进Ｅ－子模......
引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使上正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。......
讨论了ＢＣＫ－代数伴随半群的剩余元素，给出具有条件（Ｓ）的ＢＣＫ－代数及可换ＢＣＫ－代数伴随半群的若干特征，说明具有条件（Ｓ）的可换ＢＣＫ－代数的伴随半格，有界可换ＢＣＫ－代数的......
运用模糊点的概念研究BCK代数的模糊理想等一些基本概念和性质，建立它与利用隶属函数和水平截集等常见刻画方式之间的关系。......
引入关联BCK代数的P滤子、I滤子及BFI滤子的概念,并得到了一些重要的结论....
本文给出了互素理想的概念,并用互素理想来刻划BCK-代数的一些性质...
在有单位元的交换环中讨论理想的商运算，得到了理想商的若干性质，说明在有单位元的交换环中理想集合关于商运算作为一个ＢＣＫ－代数；并考察了......
ＢＣＫ－代数的滤子李继成（陕西师范大学数学系，西安７１００６２；作者，男，２５岁，硕士）本文所用到的概念均与文献［１］相同．定义１“’设Ｆ是ＢＣＫ一代数Ｘ的一个非空子集，若Ｆ满足：（１）ｘ６Ｆ，ｘ＜ｙ。ｙＥＦ；（２）ｘＥＦ，ｙ６Ｆ。......
本文讨论了具有条件(S)的正关联BCK-代数关于。半群的分解问题,指出这种分解与一般理想分解是一致的,同时得到具有条件(S)的关联BC......
本文在ＢＣＫ－代数中引进连通覆盖的概念，证明了Ｊｏｒｄａｎ－Ｈｏｌｄｅｒ－Ｄｅｄｅｋｉｎｄ定理与维数定理，并指出：一个有界交换ＢＣＫ－代数是Ａｒｔｉｎ的当且仅当它是Ｎｏｅｔｈｅｒ的。......
