| 程晓云,辛小龙,杨永伟.超EQ-代数上的推理系统[J].数学研究及应用,2017,37(2):183~193 |
| 超EQ-代数上的推理系统 |
| Deductive Systems in Hyper EQ-Algebras |
| 投稿时间：2016-03-08 修订日期：2016-12-23 |
| DOI：10.3770/j.issn:2095-2651.2017.02.006 |
| 中文关键词: 超EQ-代数 (强)推理系统 (正)关联强推理系统 $S_{\rightarrow}$-自反子集 $S_{\otimes}$-半闭子集 |
| 英文关键词:hyper EQ-algebra (strong) deductive system (positive) implicative strong deductive system $S_{\rightarrow}$-reflexive subset $S_{\otimes}$-semiclosed subset |
| 基金项目:国家自然科学基金项目(Grant No.11571281),西北大学研究生自主创新项目(Grant No.YZZ15069),西安培华学院校级科研项目(Grant No.PHKT16075). |
|
| 摘要点击次数: 2818 |
| 全文下载次数: 2099 |
| 中文摘要: |
| 引入了超EQ-代数上的几类推理系统,并讨论了它们之间的关系.重点研究了两类重要的推理系统,即关联推理系统和正关联推理系统,而且给出了它们的一些等价刻画. |
| 英文摘要: |
| In this paper, we introduce and investigate some types of deductive systems in hyper EQ-algebras and discuss relationships among them. Especially, we focus on investigating two types of important deductive systems, namely, (positive) implicative strong deductive systems, respectively. Moreover we give equivalent characterizations of them. |
| 查看全文 查看/发表评论 下载PDF阅读器 |
