Double Boolean algebras are algebras (D,u,t, , ,⊥,>) of type (2, 2, 1, 1, 0, 0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under u (resp. t). A filter F is called primary if F 6= ∅ and for all x ∈ D we have x ∈ F or x ∈ F . In this note we prove t...

In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...

The notions of intuitionistic fuzzy h-ideal and normal intuitionistic fuzzy h-ideal in Γ-hemiring are introduced and some of the basic properties of these ideals are investigated. Cartesian product of intuitionistic fuzzy h-ideals is also defined. Finally a characterization of intuitionistic fuzzy h-ideals in terms of fuzzy relations is obtained. Keywords—Γ-hemiring, fuzzy h-ideal, normal, cart...

We consider the fuzzification of the notion of implicative hyper BCK-ideals, and then investigate several properties. Using the concept of level subsets, we give a characterization of a fuzzy implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzy implicative hyper BCK-ideal. We establish a condition for a fuzzy hyper BCK-ideal to be a fuzzy implicative hype...

In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we study graded notions of fuzzy topology regarded as a fuzzy system of open or closed fuzzy sets and as a fuzzy system of fuzzy neighborhoods. We show their basic graded properties and mutual relationships provable in Fu...

In this paper ,we fuzzify the new class of algebraic structure introduced by Kim[5].In this fuzzification(called fuzzy KS-semigroups),we introduce the notions of fuzzy sub KS-semigroups,fuzzy KS-ideal,fuzzy KS-p-ideal and investigate some of their related properties.The purpose of this study is to implement the fuzzy set theory and ideal theory in the KS-semigroups.This fuzzification leads to d...

In this paper the notions of bipolar valued fuzzy subsemigroup, bipolar valued fuzzy bi-ideal, bipolar valued fuzzy (1,2)ideal and bipolar valued fuzzy ideal in a Γ-semigroup have been introduced. Some important characterizations are also obtained. Mathematics Subject Classification: 20M12, 03F55, 03E72

We characterize a fuzzy lattice through a fuzzy partial order relation, define ideals and filters of fuzzy lattices, characterize an ideal of fuzzy lattice using its level set and its support and show that a subset of a fuzzy lattice is an ideal if and only if its support is an ideal. Similarly, we show the same for its level set. Lastly, we define some kinds of ideals and filters of fuzzy latt...

in this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. we study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. for strongly z-ideals, we analyze prime ideals using the concept of zero sets. moreover, it is proven that the intersection of all zero sets of a prime ideal of c(l),...