期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
减法系统Ⅱ——BCY代数的各种加强系统
1
作者 沈百英 叶瑞芬 《华东化工学院学报》 CSCD 1991年第5期505-516,共12页
在各种BCY代数中引入新的二元运算“+”,得到了具“和”的各种BCY代数,使得减法系统有了更完全的发展。另外,我们对所得到的各个加强系统的字问题进行了研究,并获得了相应系统的Gentzen形判定系统,用它们可肯定地解决相应的字问题。
关键词 BCY代数 字问题 加强系统 减法系统
在线阅读 下载PDF
减法系统Ⅲ——各种BCY代数的等价类
2
作者 叶瑞芬 沈百英 《华东化工学院学报》 CSCD 1993年第5期627-632,共6页
在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。
关键词 减法系统 BCY代数 等价类 代数
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部