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的每个元素都可以有一种扩张,着重刻划了极大元扩张的几种......
本文是作者[1]-[6]的继续,我们得到下述结果:定理4.设I是BCK-代数X的一个理想,a是X的一个元素,则包含I和a的最小理想是对某个非负整数}.定理14.设X是一个Lukasiewicz代数,I是X的......
设X=(X;*,0)是BCK-代数,对X中元素a,b规定a【b=a*b=0,若X对于序关系【是一个全序集,则称X是具有自然全序的BCK-代数,我们证明了具......
本文是作者[1],[2]和[3]的继续,引入了可换理想的概念,并讨论它的重要性质,特别是用可换理想刻划了可换BCK-代数,从而建立了BCK-代......
本文刻划了BCK一代数与BCI一代数中的Hamilton问题....
本文引入了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......
首先指出在BCC-代数中,下述两个条件并不等价:(1)(x*z)*(y*z)=(z*y_*z;(2)(x*y*y=x*y。随后给出由W.A.Dudek1992年定义的正关联BCC-代数的一个简单的公理系统。......
在BCK-代数中引进了一个右映射和BCI-代数中引进了一个弱左映射,并探讨它们的性质。从而推广了文[1]中大部分结果。主要结果是:如果X是一个BCK-代数,Y是......
本文引入BCI-代数的KI并代数,它是BCK-代数的无交并的推广。...
引进了 BCK代数的一种新的扩张方法——极大元扩张法 ,使得其他扩张法 ,如拟交错扩张法、有界 BCK代数的 Iseki扩张 ,都是极大元扩......
给出了关联BCK -代数的主滤子与关联滤子的概念 ,并得到了一些有趣的结果 :Ⅰ )主滤子 [a]是一个并代数、完全格和分配格。Ⅱ )给......
提出了软BCK代数的概念,研究了软BCK代数的并,交和乘积运算,讨论了这些运算的代数性质。......
本文证明了蕴涵BCK-代数的伴随半群是一个上半格,进一步证明了有界蕴涵BCK-代数的伴随半群是一个Boolean代数。......
给出了软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-代数中,证明了一类BCK-代数的包含度的存在性。给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征。......
综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成......
利用BCK代数X的理想A对X做了一种等价分类,从而得到了X的商代数X/A....
给出了BCK代数的一个等价公理,讨论了BCK代数的伴随代数....
本文探讨了粗糙集代数与BCK代数的关系以及由粗糙集代数构造BCK代数的方法,并证明了在选取适当的运算后,粗糙集代数就能够转变为BC......
本文回答了井关于清志的两个问题,讨论有界关联BCK代数与布尔环之间的关系....
本文对带算BCK-代数的概念加以抽象化,引进BE-代数上模的概念,进而引进模同态,模同构等概念,讨论了BE-代数上模的一些基本性质,在此基础上,引进E-子模......
引进了多重正关联BCK-代数,并讨论了它的一些性质,从而使上正关联BCK-代数与n级正关联BCK-代数得到真正的推广。......
讨论了BCK-代数伴随半群的剩余元素,给出具有条件(S)的BCK-代数及可换BCK-代数伴随半群的若干特征,说明具有条件(S)的可换BCK-代数的伴随半格,有界可换BCK-代数的......
运用模糊点的概念研究BCK代数的模糊理想等一些基本概念和性质,建立它与利用隶属函数和水平截集等常见刻画方式之间的关系。......
引入关联BCK代数的P滤子、I滤子及BFI滤子的概念,并得到了一些重要的结论....
本文给出了互素理想的概念,并用互素理想来刻划BCK-代数的一些性质...
在有单位元的交换环中讨论理想的商运算,得到了理想商的若干性质,说明在有单位元的交换环中理想集合关于商运算作为一个BCK-代数;并考察了......
BCK-代数的滤子李继成(陕西师范大学数学系,西安710062;作者,男,25岁,硕士)本文所用到的概念均与文献[1]相同.定义1“’设F是BCK一代数X的一个非空子集,若F满足:(1)x6F,x<y。yEF;(2)xEF,y6F。......
本文讨论了具有条件(S)的正关联BCK-代数关于。半群的分解问题,指出这种分解与一般理想分解是一致的,同时得到具有条件(S)的关联BC......
本文在BCK-代数中引进连通覆盖的概念,证明了Jordan-Holder-Dedekind定理与维数定理,并指出:一个有界交换BCK-代数是Artin的当且仅当它是Noether的。......