Filters and ideals in implicative semigroups

Abstract

In this work, some characterizations of positive implicative ordered filters in the structure of implicative semigroups are given. And we have discussed some properties of filters generated by a subset of an implicative semigroup. Also we give a condition for a special subset to be a ideal. Finally we study the notion of homeomorphisms between implicative semigroups.