The purpose of this paper is to extend a new balancing and ranking method to handle uncertainty for a multiple attribute analysis under a hesitant fuzzy environment. The presented hesitant fuzzy balancing and ranking (HF-BR) method does not require attributes’ weights through the process of multiple attribute decision making (MADM) under hesitant conditions. For the rating of possible alternati...

Congruence closure procedures are used extensively in automated reasoning and are a core component of most satisfiability modulo theories solvers. However, no known congruence closure algorithms can support any of the expressive logics based on intensional type theory (ITT), which form the basis of many interactive theorem provers. The main source of expressiveness in these logics is dependent ...

The aim of the paper is to investigate some local properties of the weak congruence lattice of an algebra, which is supposed to possess the constant 0, or a nullary term operation. Lattice identities are restricted to the zero blocks of weak congruences. In this way, a local version of the CEP, and local modularity and distributivity of the weak congruence lattices are characterized. In additio...

This paper we investigate the existence and uniqueness of solutions to fuzzydierential equations driven by Liu's process. For this, it is necessary to provideand prove a new existence and uniqueness theorem for fuzzy dierential equationsunder weak Lipschitz condition. Then the results allows us to considerand analyze solutions to a wide range of nonlinear fuzzy dierential equationsdriven by Liu...

A right ternary N -group (RTNG) over a right ternary near-ring N is a generalization of its binary counterpart and fuzzy soft sets are generalization of soft sets which are parameterized family of subsets of a universal set. In this paper fuzzy soft N -subgroups and N -ideals over right ternary N -groups are defined and their basic algebraic properties are studied. Fuzzy soft N -subgroups and N...

The ‘normalization’ axiom associated with Sen’s poverty index–and this, indeed, holds for most extant measures of poverty—entails an uncomfortable implication when we adopt a strong, or inclusive, definition the poor. This paper suggests that may not always be at liberty to weak definition. available alternative then is change form measure. Accordingly, modification his normalization which lead...

This paper considers a biobjective transportation problem with various fuzzy objective functions coefficients. Fuzzy coefficients can be of different types such as triangular, trapezoidal, (semi) $L-R$, or flat (semi) $L-R$ fuzzy numbers. First, we convert the problem to a parametric interval biobjective transportation problem using $gamma$-cuts of fuzzy coefficients. Then, we consider a fix $g...

A choice correspondence is weak justified if a non-chosen alternative is dominated by any other obtainable alternative, and for each discarded alternative there is some chosen alternative which dominates it. This definition allows us to build a connection between the behavioral property expressed by the weak axiom of revealed non-inferiority and a weak form of maximality. It is weaker than the ...