内蒙古师范大学学报(自然科学汉文版)
內矇古師範大學學報(自然科學漢文版)
내몽고사범대학학보(자연과학한문판)
JOURNAL OF INNER MONGOLIA NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2013年
6期
637-641
,共5页
基础R0-代数结构%BCI/BCK-代数%等价性定理
基礎R0-代數結構%BCI/BCK-代數%等價性定理
기출R0-대수결구%BCI/BCK-대수%등개성정리
basis R0-algebra%BCI/BCK-algebra%equivalence theorem
讨论了基础模糊命题演算形式演绎系统L*相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.
討論瞭基礎模糊命題縯算形式縯繹繫統L*相匹配的基礎R0-代數與一類重要的BCI/BCK-代數間的相互關繫,給齣它們之間的等價性定理.分析瞭基礎R0-代數與一類重要的BCI/BCK-代數間的區彆與聯繫,得到一些十分有趣的性質.
토론료기출모호명제연산형식연역계통L*상필배적기출R0-대수여일류중요적BCI/BCK-대수간적상호관계,급출타문지간적등개성정리.분석료기출R0-대수여일류중요적BCI/BCK-대수간적구별여련계,득도일사십분유취적성질.