Model checking of linear-time properties based on possibility measures was studied in previous work (Y. Li and L. Li, Model checking of linear-time properties based on possibility measure, IEEE Transactions on Fuzzy Systems, 21(5)(2013), 842-854). However, the linear-time properties considered in the previous work was classical and qualitative, possibility information of the systems was not con...

The concept of q , -fuzzy ternary subsemigroup (left, right, lateral, quasi-, bi-) ideal of a ternary semigroup is introduced and several related properties are investigated. We give some characterizations of regular and weakly regular ternary semigroups by q , -fuzzy left (right, lateral) ideals, q , -fuzzy quasi-ideals and q , -fuzzy bi-(generalized bi-) ideals.

In this paper the concept of intuitionistic fuzzy α-irresolute functions are introduced and studied. Besides giving characterizations of these functions, several interesting properties of these functions are also given. We also study relationship between this function with other existing functions.

The aim of this paper is to extend the concept of fuzzy sgIrresolute mappings due to Tapi, Thakur and Rathore [14] for intuitionistic fuzzy topological spaces and some of its basic properties are studied.

Let S be an ordered semigroup. In this paper we first introduce the concepts of (∈,∈ ∨qk)-fuzzy ideals, (∈,∈ ∨qk)-fuzzy bi-ideals and (∈,∈ ∨qk)-fuzzy generalized bi-ideals of an ordered semigroup S by the ordered fuzzy points of S, and investigate their related properties. Furthermore, characterizations of regular ordered semigroups by the properties of (∈,∈ ∨qk)-fuzzy left ideals, (∈,∈ ∨qk)-fu...

In this paper we have generalized the concepts of   q   , -fuzzy ideals,   q   , -fuzzy quasi-ideals and   q   , -fuzzy bi-ideals by introducing the concepts of   k q   , -fuzzy ideals,   k q   , -fuzzy quasiideals and   k q   , -fuzzy bi-ideals in ternary semigroups and several related properties are investigated. Different characterizations of regular and weakly ...

This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...