|
|||||
|
|
| 超相等代数的强超推理系统 | |
| 作者姓名： | 程晓云 辛小龙 |
| 作者单位： | 1.西安航空学院理学院, 陕西 西安 710077;2. 西北大学数学学院, 陕西 西安 710069 |
| 基金项目： | 国家自然科学基金资助项目(11571281);西安航空学院博士科研启动基金资助项目 |
| 摘 要： | 引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。 |
| 关 键 词： | 超相等代数 强超推理系统 生成的强超推理系统 (正)关联强超推理系统 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《山东大学学报(理学版)》下载全文 | |