Implicative strong filters in hyper quasi-ordered residuated systems

Abstract

Quasi-ordered residuated systems as a generalization of both quasi-ordered commutative residuated lattices and hoop-algebras were developed in 2018 by Bonzio and Chajda. The ideas of the theory of hyper structures were applied to this algebraic structure by this author and, at the same time, developed the concepts of filters in a hyper quasi-ordered residuated system. In this paper, the conditions that determine the concept of implicative strong filters in it. Some equivalent conditions were found that also determine this concept.