Deductive Systems in Hyper EQ-Algebras

摘要

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.