We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things,...

The notion of intuitionistic fuzzy ideals with thresholds of an ordered semigroup is considered and some of its properties are given. An embedding theorem of the set of all intuitionistic fuzzy ideals with thresholds is presented and the homomorphic images and inverse images of intuitionistic fuzzy ideals with thresholds are studied too. 2010 Mathematics Subject Classification: 06F05

Abstract— In this paper, we propose an Intuitionistic Fuzzy decision support system for determining the causes of a more or less common disorder – obesity. Obesity can be simply lifestyle related i.e. excessive food energy intake and a lack of physical activity related or it may be caused due to hormonal, pathological or genetic factors. Whenever a patient is examined, our goal is to find out t...

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...

In this paper one generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The differences between IFL and NL (and the corresponding intuitionistic fuzzy set and neutrosophic set) are pointed out.

A new class of functions, called Intuitionistic fuzzy π-generalized π-closed set is introduced. Basic properties of Intuitionistic fuzzy π-generalized π-closed set are studied. MSC: 68T27 • 68T37

The paper proposed a linguistic PROMETHEE approach for making investment portfolio decision. First, we both consider quantitative and qualitative information of each stock and use 2-tuple linguistic value for experts to express their opinions to obtain qualitative information with respect to all evaluation criteria. Then, the transformation method of 2-tuple linguistic variable is applied to ag...

In 1965, Zadeh [30] introduced a concept of a fuzzy set as the generalization of a crisp set. Also, in 1971, he introduced a fuzzy relation naturally, as a generalization of a crisp relation in [31]. Nel [27] introduced the notion of a topological universe which implies concrete quasitopos [1]. Every topological universe satisfies all the properties of a topos except one condition on the subobj...

In this paper, the notion of the interval valued neutrosophic soft sets (ivn−soft sets) is defined which is a combination of an interval valued neutrosophic sets [36] and a soft sets [30]. Our ivn−soft sets generalizes the concept of the soft set, fuzzy soft set, interval valued fuzzy soft set, intuitionistic fuzzy soft set, interval valued intuitionistic fuzzy soft set and neutrosophic soft se...

After the introduction of the concept of a fuzzy set by Zadeh, several researches were conducted on the generalizations of the concept of a fuzzy set. The idea of intuitionistic fuzzy set is due to Atanassov [1], [2], [3] and recently Çoker [4] has defined the concept of intuitionistic fuzzy topological space which generalizes the concept of fuzzy topological space introduced by Chang [5]. Heil...