| 超相等代数的强超推理系统 |
| |
| 引用本文： | 程晓云,辛小龙. 超相等代数的强超推理系统[J]. 山东大学学报(理学版), 2019, 54(8): 14-19. DOI: 10.6040/j.issn.1671-9352.0.2018.587 |
| |
| 作者姓名： | 程晓云 辛小龙 |
| |
| 作者单位： | 1.西安航空学院理学院, 陕西 西安 710077;2. 西北大学数学学院, 陕西 西安 710069 |
| |
| 基金项目： | 国家自然科学基金资助项目(11571281);西安航空学院博士科研启动基金资助项目 |
| |
| 摘 要： | 引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。
|
| 关 键 词： | 超相等代数 强超推理系统 生成的强超推理系统 (正)关联强超推理系统 |
Strong hyper deductive systems in hyper equality algebras |
| |
| CHENG Xiao-yun,XIN Xiao-long. Strong hyper deductive systems in hyper equality algebras[J]. Journal of Shandong University, 2019, 54(8): 14-19. DOI: 10.6040/j.issn.1671-9352.0.2018.587 |
| |
| Authors: | CHENG Xiao-yun XIN Xiao-long |
| |
| Affiliation: | 1. School of Science, Xian Aeronautical University, Xian 710077, Shaanxi, China;2. School of Mathematics, Northwest University, Xian 710069, Shaanxi, China |
| |
| Abstract: | Some types of strong hyper deductive systems in hyper equality algebras are introduced and investigated. Some representations of generated strong hyper deductive systems are given. Then, Two types of important strong hyper deductive systems, namely, implicative and positive implicative strong hyper deductive systems are studied. In particular, characterizations of them are given and the relations between them are discussed. |
| |
| Keywords: | hyper equality algebra strong hyper deductive system generated strong hyper deductive system (positive)implicative strong deductive system |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《山东大学学报(理学版)》下载全文 |
