程晓云,辛小龙,杨永伟.超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).
作者单位
程晓云 西北大学数学学院, 陕西 西安 710127; 西安培华学院通识教育中心, 陕西 西安 710065 
辛小龙 西北大学数学学院, 陕西 西安 710127 
杨永伟 安阳师范学院数学与统计学院, 河南 安阳 455000 
摘要点击次数: 500
全文下载次数: 580
中文摘要:
      引入了超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阅读器