Characterizations of ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy interior ideals

In this paper, we give characterizations of ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy interior ideals. We characterize different classes regular (resp. intra-regular, simple and semisimple) ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy interior ideals (resp. (∈, ∈ ∨q)-fuzzy ideals). In this regard, we prove that in regular (resp. intra-regular and semisimple) ordered semigroups the concept of (∈, ∈ ∨q)-fuzzy ideals and (∈, ∈ ∨q)-fuzzy interior ideals coincide. We prove that an ordered semigroup S is simple if and only if it is (∈, ∈ ∨q)-fuzzy simple. We characterize intra-regular (resp. semisimple) ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy ideals (resp. (∈, ∈ ∨q)-fuzzy interior ideals). Finally, we consider the concept of implication-based fuzzy interior ideals in an ordered semigroup, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed

Regular ag-groupoids characterized by (∈, ∈ ∨ q k)-fuzzy ideals

In this paper, we introduce a considerable machinery which permits us to characterize a number of special (fuzzy) subsets in AG -groupoids. Generalizing the concepts of (∈, ∈ ∨q) -fuzzy bi-ideals (interior ideal), we define (∈, ∈ ∨ q k) -fuzzy bi-ideals, (∈, ∈ ∨ q k )-fuzzy left (right)-ideals and ( , ) k ? ? ?q -fuzzy interior ideals in AG -groupoids and discuss some fundamental aspects of these ideals in AG -groupoids. We further define ( ∈, ∈ ∨ q k) -fuzzy bi-ideals and (∈, ∈ ∨ q k)-fuzzy interior ideals and give some of their basic properties in AG -groupoids. In the last section, we define lower/upper parts of (∈, ∈ ∨ q k ) -fuzzy left (resp. right) ideals and investigate some characterizations of regular and intera-regular AG -groupoids in terms of the lower parts of ( ∈, ∈ ∨ q k ) -fuzzy left (resp. right) ideals and ( ∈, ∈ ∨ q k )-fuzzy bi-ideal of AG -groupoids