-
题名有界可换BCK-代数与MV-代数
被引量：4
- 1
-
-
作者
程国胜
叶继昌
-
机构
西安交通大学理学院
山东淄博学院计算机系
-
出处
《工程数学学报》
EI
CSCD
北大核心
2000年第2期124-126,共3页
-
文摘
在有界可换 BCK-代数〈X;*,0〉中定义 x′=N x,x + y =y*Nx,x× y =N ( Ny*x) ,1 MV=0 ,则 ( X,+ ,× ,′,0 MV,1 MV)是一个 MV-代数 ;而在 MV-代数 ( X,+ ,× ,′,0 MV,1 MV)中定义 x*y =x + y′,0 =1 MV,则〈X;*,0〉是一个有界可换 BCK-代数。
-
关键词
MV-代数
有界可换bck-代数
代数结构
-
分类号
O153.3
[理学—基础数学]
-
-
题名关于可换BCK-代数的一点注记
被引量：1
- 2
-
-
作者
沈百英
-
机构
华东化工学院计算机科学系
-
出处
《华东化工学院学报》
CSCD
1989年第5期695-598,共1页
-
文摘
1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。
-
关键词
代数
可换bck-代数
等价系统
-
Keywords
algebra
bck-algebra
commutative bck-algebra
equivalent systems
abstract algebra
rules
-
分类号
O15
[理学—基础数学]
-
-
题名有界BCK-代数中的正关联对偶理想
被引量：1
- 3
-
-
作者
孙培源
-
机构
浙江大学数学系
-
出处
《浙江大学学报（理学版）》
CAS
CSCD
2001年第2期132-137,共6页
-
文摘
作为 K Iseki引入的正关联理想的对偶 ,引入了有界 BCK-代数中的正关联对偶理想 ,并得到了有界正关联
-
关键词
有界bck-代数
正关联性
对偶理想
稳定化子
bck-序
非空子集
-
Keywords
bounded BCK algebras
positive implicative
dual ideals
-
分类号
O153
[理学—基础数学]
-
-
题名非可换的正定关联BCK—代数
- 4
-
-
作者
欧阳柏玉
-
机构
湖南师范大学数学系
-
出处
《湖南师范大学自然科学学报》
CAS
1991年第1期32-34,43,共4页
-
文摘
本文主要证明了以下定理:非可换的正定关联BCK—代数存在而且有无穷多个.这里采用的构造性的证明方法,实际上指出了构造有界非可换正定关联BCK—代数的一种方法.
-
关键词
bck-代数
正定关联
交换
有界性
-
Keywords
algebra
positive definite function
commutative
boundedness/positive implicativity
-
分类号
O153
[理学—基础数学]
-
