fuzzy bi-ideals play an important role in the study of ordered semigroupstructures. the purpose of this paper is to initiate and study theintiuitionistic fuzzy bi-ideals in ordered semigroups and investigate thebasic theorem of intuitionistic fuzzy bi-ideals. to provide thecharacterizations of regular ordered semigroups in terms of intuitionisticfuzzy bi-ideals and to discuss the relationships ...

The purpose of this paper is to present some coincidence point and common  fixed point theorems for multivalued contraction maps in complete fuzzy  metric spaces endowed with a partial order. As an application, we give  an existence theorem of solution for general classes of integral  inclusions by the coincidence point theorem.

binayak et al in [1] proved a fixed point of generalized kannan type-mappings in generalized menger spaces. in this paper we extend gen- eralized kannan-type mappings in generalized fuzzy metric spaces. then we prove a fixed point theorem of this kind of mapping in generalized fuzzy metric spaces. finally we present an example of our main result.

In this paper, we generalize Ying’s model of linguistic quantifiers [M.S. Ying, Linguistic quantifiers modeled by Sugeno integrals, Artificial Intelligence, 170 (2006) 581-606] to intuitionistic linguistic quantifiers. An intuitionistic linguistic quantifier is represented by a family of intuitionistic fuzzy-valued fuzzy measures and the intuitionistic truth value (the degrees of satisfaction a...

in this paper, a certain new connectedness of l-fuzzy subsets inl-topological spaces is introduced and studied by means of preclosed sets. itpreserves some fundamental properties of connected set in general topology.especially the famous k. fan’s theorem holds.

a theorem was recently introduced to establish a relationship betweengoal programming and fuzzy programming for vectormaximum problems.in this short note it is shown that the relationship does not exist underall circumstances. the necessary correction is proposed.

The concept of fuzzy sets was introduced by Zadeh [21] in 1965. After that a lot of work has been done regarding fuzzy sets and fuzzy mappings. The concept of fuzzy mappings was first introduced by Heilpern [10], he proved fixed point theorem for fuzzy contraction mappings which is a fuzzy analogue of the fixed point theorem for multi valued mappings of Nadler [15], Vijayraju and Marudai [19] g...

A mapping f : X → X from a set X to itself has a fixed point if there is an x ∈ X such that f(x) = x. The simplest fixed point theorem is that a continuous function f : [a, b] → [a, b] has at least one fixed point. This is a consequence of the intermediate value theorem from calculus, as follows. Since f(a) ≥ a and f(b) ≤ b, we have f(b) − b ≤ 0 ≤ f(a) − a. The difference f(x)−x is continuous, ...

A procedure is described that gives values to set variables in automatic theorem proving. The result is that a theorem is thereby reduced to first order logic, which is often much easier to prove. This procedure handles a part of higher order logic, a small but important part. It is not as general as the methods of Huet, Andrews, Pietrzykowski, and Haynes and Henschen, but it seems to be much f...

The paper presents a generalization of the main theorem of fuzzy concept lattices. The theorem is investigated from the point of view of fuzzy logic. There are various fuzzy order types which differ by incorporated relation of antisymmetry. This paper focuses on fuzzy order which uses fuzzy antisymmetry defined by means of multiplication operation and fuzzy equality.