Text this: Positive implicative True-False ideals in BCK-algebras