the current study set to extend a new vikor method as a compromise ranking approach to solve multiple criteria decision-making (mcdm) problems through intuitionistic fuzzy analysis. using compromise method in mcdm problems contributes to the selection of an alternative as close as possible to the positive ideal solution and far away from the negative ideal solution, concurrently. using atanasso...

N. Palaniappan et. al [20, 28] have investigated the concept of intuitionistic fuzzy normal subrings in associative rings. In this study we extend these notions for a class of non-associative rings.

The notion of intuitionistic fuzzy sets was introduced by Atanassov as a generalization of the notion of fuzzy sets. Y.B. Jun and S.Z. Song introduced the notion of intuitionistic fuzzy points. In this paper we find some relations between the intuitionistic fuzzy ideals of a semigroup S and the set of all intuitionistic fuzzy points of S. Keywords—Semigroup, Regular(intra-regular) semigroup, In...

in this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. it would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. we give the main properties of the operations defined and prove som...

In this note we consider the notion of intuitionistic fuzzy (weak) dual hyper K-ideals and obtain related results. Then we classify this notion according to level sets. After that we determine the relationships between intuitionistic fuzzy (weak) dual hyper K-ideals and intuitionistic fuzzy (weak) hyper K-ideals. Finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...

The objective of this work is to present a triangular interval type-2 (TIT2) intuitionistic fuzzy sets and their corresponding aggregation operators, namely, TIT2 intuitionistic fuzzy weighted averaging, TIT2 intuitionistic fuzzy ordered weighted averaging and TIT2 intuitionistic fuzzy hybrid averaging based on Frank norm operation laws. Furthermore, based on these operators, an approach to mul...

Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synthesis of a program the type of which is a given formula. We present a model of automata that can handle proof construction in full intuitionistic first-order logic. The automata are constructed in such a way that any ...

In this work, we present definition of intuitionistic fuzzy parameterized (ifp) intuitionistic fuzzy soft set and its operations. Then we define ifp-aggregation operator to form ifp-intuitionistic fuzzy soft decision making method which allows constructing more efficient decision processes. Keyword 0.1 Soft set, intuitionistic fuzzy set, intuitionistic fuzzy soft set, intuitionistic fuzzy param...

Let A be a formula without implications, and Γ consist of formulas containing disjunction and falsity only negatively and implication only positively. Orevkov (1968) and Nadathur (2000) proved that classical derivability of A from Γ implies intuitionistic derivability, by a transformation of derivations in sequent calculi. We give a new proof of this result (for minimal rather than intuitionist...