检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]商洛学院数学与计算科学系,陕西商洛726000
出 处:《内蒙古师范大学学报(自然科学汉文版)》2013年第6期637-641,共5页Journal of Inner Mongolia Normal University(Natural Science Edition)
基 金:陕西省自然科学基础研究计划项目(2013JM1023);陕西省教育厅科研计划项目(11JK0512);陕西省教育科学"十一五"规划课题(SGH10119);商洛学院重点教改项目(12jyjx109)
摘 要:讨论了基础模糊命题演算形式演绎系统L*相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.Based on the discussion of the relationship between basis R0-algebra of the formal deductive system L* for fuzzy propositional calculus and a class of important BCI/BCK-algebra,the equivalence theorem in the two algebras above is given.Then,through further discussion of the differences and relations between basis R0-algebra and a class of important BCI/BCK-algebra,some very interesting properties in the algebras are presented.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.170