期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
超相等代数的强超推理系统 被引量:1
1
作者 程晓云 辛小龙 《山东大学学报(理学版)》 CAS CSCD 北大核心 2019年第8期14-19,共6页
引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。
关键词 相等代数 推理系统 生成的推理系统 ()关联推理系统
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部