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

Most decision-making and problem-solving tasks are too complex to be understood quantitatively. People perform such tasks using knowledge that is imprecise rather than precise. This study presents consistent fuzzy linguistic preference relations rather than fuzzy analytic hierarchy process (FAHP) to select computer integrated manufactory (CIM) systems. The proposed method yields decision matric...

As can be seen from the definition of extended operations on fuzzy numbers, subtraction and division of fuzzy numbers are not the inverse operations to addition and multiplication . Hence, to solve the fuzzy equations or a fuzzy system of linear equations analytically, we must use methods without using inverse operators. In this paper, a novel method to find the solutions in which 0 is not the ...

: With the fast development of the E-commerce, it becomes critical to set up an E-commerce Evaluation criteria system. Fuzzy Analytic Hierarchy Process is a new multi-criteria evaluation method evolved from Saaty’s AHP. This paper aimed to find out the key factors that affect success in E-commerce using fuzzy AHP, and give an evaluation method for E-commerce in order to help researches and mana...

We apply the method of Fuzzy Analytic Network Process (ANP-Fuzzy) to evaluate strategic leadership, because its indexes are complex, inter-relationship, and fuzzy. First, construct indexes system of strategic leadership ,which constitutes of personal abilities and organizational abilities. Second, interpret the fitness of ANP-Fuzzy for strategic leadership and the method’s implication steps of ...

Chou et al. (Applied Soft Computing 12 (2012) 64-71) used combination of fuzzy AHP (Analytic Hierarchy Process) and fuzzy DEMATEL (Decision Making Trial and Evaluation Laboratory) in human resource for science and technology (HRST). For applying the fuzzy DEMATEL method there is a need to find the multiplicative inverse of a fuzzy matrix. In this paper, it is pointed out that the method, used b...

A ship’s crew plays an important role in the maritime transportation sector and their performance is paramont in the shipping industry. On this account, an impartial evaluation of the crew’s performance is an important issue. In this paper, the ship officer’s performance evaluation problem is studied. The performance evaluation criteria that shipping companies take into account are determined a...

Abstract In this paper, we use new parametic formof fuzzy numbers and convert a system of fuzzy integral equations to two system of integral equations in crisp. Then we solve a system of fuzzy integral equations by means of an analytic technique, namely the homotopy analysis method (HAM). Using the HAM, it is possible to find the exact solution or an approximate solution of the problem. The res...

The purpose of this paper is to introduce the concept of fuzzy variational-like inequalities and to study the existence problem and the iterative approximation problem for solutions of certain kinds of fuzzy variational-like inequalities in Hilbert spaces. By using the general auxiliary principle technique, Ky Fan’s KKM theorem, Nadler’s fixed point theorem, and some new analytic techniques, so...

In order to efficiently improve the prediction accuracy, two load forecasting model based on fuzzy theory are presented, which are fuzzy clustering model and improved fuzzy regression analysis model .The method of fuzzy clustering is used to divide the area by the similar feature of load increasing. The new division is promising to improve the result of evident degree of clustering index to pow...