Positive implicative ideals of BCK-algebras based on a soft set theory.
In this paper we introduce stable topology and -topology on the set of all prime filters of a BL-algebra and show that the set of all prime filters of , namely Spec() with the stable topology is a compact space but not . Then by means of stable topology, we define and study pure filters of a BL-algebra and obtain a one to one correspondence between pure filters of and closed subsets of Max(), the set of all maximal filters of , as a subspace of Spec(). We also show that for any filter...