Text this: Some results on ordered filters of implicative semigroups