-
题名FI代数,BCK代数与关联半群
被引量:9
- 1
-
-
作者
邹庭荣
-
机构
绵阳高等师范专科学校
-
出处
《模糊系统与数学》
CSCD
1999年第2期64-70,共7页
-
文摘
文献[1]讨论了Fuzzy蕴涵代数(简称为FI代数)与MV代数、格蕴涵代数之间的关系,本文进一步讨论了FI代数与有界关联BCK代数、关联半群的联系,并应用FI代数方法简化了BCK代数中某些定理的证明。
-
关键词
FI代数
BCK代数
关联半群
有界关联交换
-
Keywords
FI Algebra
BCK algebra
Bounded Commutative
With Condition (S)
Implication Semigroup
-
分类号
O15
[理学—数学]
O153.3
[理学—基础数学]
-
-
题名单的非负有序关联半群
被引量:1
- 2
-
-
作者
曾庆怡
-
机构
韶关学院数学与信息科学学院
-
出处
《纯粹数学与应用数学》
CSCD
2011年第1期75-80,共6页
-
文摘
一个负有序关联半群(S,≤,·,*)称为单的关联半群,如果S的所有滤子是{1}和S本身.对负有序关联半群是单的关联半群进行了刻画,给出了一个负的关联半群是单的关联半群的等价条件.
-
关键词
单性
关联半群
有序滤子
-
Keywords
simple
implicative semigroups
ordered filters
-
分类号
O153
[理学—数学]
-
-
题名单的负关联半群(续)
- 3
-
-
作者
曾庆怡
-
机构
韶关学院数学与信息科学学院
-
出处
《韶关学院学报》
2012年第2期5-7,共3页
-
文摘
一个负的有序关联半群(S,≤,.,)称为单的,设S是交换关联半群,如果S的所有滤子是{1}和S本身,则S是单的当且仅当S的所有*-同余是IS和S×S.
-
关键词
关联半群
*-同余
滤子
-
Keywords
implicative semigroups
*-congruence
ordered filters
-
分类号
O153
[理学—数学]
-