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.