based on the point of view of geometrical representation of an intuitionistic fuzzy set, we take into account all three parameters describing intuitionistic fuzzy set, propose a kind of new method to calculate correlation and correlation coefficient of intuitionistic fuzzy sets which is similar to the cosine of the intersectional angle in finite sets and probability space, respectively. further...

The Multiple Attribute Group Decision Making (MAGDM) problems are investigated in which all the information provided by the decision-makers is presented as interval-valued intuitionistic fuzzy decision matrices, and the information about attribute weights is partially known. Three different models are utilized for calculating the completely unknown attribute weights which are then used for aggr...

The notions of intuitionistic fuzzy T-ideals in BCI-algebras are introduced.Conditions for an intuitionistic fuzzy ideal to be an intuitionistic fuzzy T-idealare provided. Using a collection of T-ideals, intuitionistic fuzzy T-ideals areestablished.

Ranking of triangular intuitionistic fuzzy numbers (TIFNs) is an important problem, which is solved by the value and ambiguity based ranking method developed in this paper. Firstly, the concept of TIFNs is introduced. Arithmetic operations and cut sets over TIFNs are investigated. Then, the values and ambiguities of the membership degree and the non-membership degree for TIFNs are defined as we...

Taking intuitionistic fuzzy sets as the structures of truth values, we propose the notions of intuitionistic fuzzy context-free grammars (IFCFGs, for short) and pushdown automata with final states (IFPDAs). Then we investigate algebraic characterization of intuitionistic fuzzy recognizable languages including decomposition form and representation theorem. By introducing the generalized subset c...

We study the n-universal model of the [∨,∧,→]-fragment of the intuitionistic propositional calculus IPC. We denote it by U(n) and show that it is isomorphic to a generated submodel of the n-universal model of IPC, which is denoted by U(n). We show that this close resemblance makes U(n) mirror many properties of U(n). Using U(n), we give an alternative proof of Jankov’s theorem stating that the ...

We study brane configurations for four dimensionalN=1 supersymmetric gauge theories with quartic superpotentials which flow in the infrared to manifolds of interacting superconformal fixed points. We enumerate finite N=2 theories, from which a large class of marginal N=1 theories descend. We give the brane descriptions of these theories in Type IIA and Type IIB string theory. The Type IIB descr...

Dependence logic is a new logic which incorporates the notion of “dependence”, as well as “independence” between variables into first-order logic. In this thesis, we study extensions and variants of dependence logic on the first-order, propositional and modal level. In particular, the role of intuitionistic connectives in this setting is emphasized. We obtain, among others, the following result...

In this paper we introduce the notion of intuitionistic fuzzy ideals which is considered as a generalization of fuzzy ideals studies in [1, 2, 3, 11 ], the important intuitionistic fuzzy ideal has been given. The concept of intuitionistic fuzzy local function is also introduced here by utilizing the neighborhood structure for an intuitionistic fuzzy topological space. These concepts are discus...

In this paper, we introduce the notion of balanced intuitionistic fuzzy graphs and present some of their properties. We also prove that G1 G2 is balanced if and only if D(G1) = D(G2) = D(G1 G2). Mathematics Subject Classification: 05C72, 03E72, 03F55