Deductive Systems in Hyper EQ-Algebras

• 作 者: Xiaoyun CHENG Xiaolong XIN Yon
• 机 构: SchoolofMathematics,GeneralEducationCenter,SchoolofMathematicsandStatistics
• 出 处: 数学研究及应用：英文版
• 发表日期: 2017年2期
• 基金项目: Supported by the National Natural Science Foundation of China （Grant No. 11571281）, Independent Innovation Project of Graduate Students in Northwestern University （Grant No. YZZ15069） and Scientific R

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 ded