Density elimination by substitutions is introduced as a uniformmethod for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi. For a large class of calculi, density elimination by this method is guaranteed by known sufficient conditions for cut-elimination. Moreover, adding the density rule to any axiomatic extension of a simple first-order lo...

‎ranking fuzzy numbers is generalization of the concepts of order, and class, and so have fundamental applications. moreover, deriving the final efficiency and powerful ranking are helpful to decision makers when solving fuzzy problems. selecting a good ranking method can apply to choosing a desired criterion in a fuzzy environment. there are numerous methods proposed for the ranking of fuzzy n...

in this paper, a new approach for solving the second order fuzzy differential equations (fde) with fuzzy initial value, under strongly generalized h-differentiability is presented. solving first order fuzzy differential equations by extending 1-cut solution of the original problem and solving fuzzy integro-differential equations has been investigated by some authors (see for example cite{darabi...

the present article investigates the application of high order tsk (takagi sugeno kang) fuzzy systems in modeling photo voltaic (pv) cell characteristics. a method has been introduced for training second order tsk fuzzy systems using anfis (artificial neural fuzzy inference system) training method. it is clear that higher order tsk fuzzy systems are more precise approximators while they cover n...

We characterize a fuzzy partial order relation using its level set, find sufficient conditions for the image of a fuzzy partial order relation to be a fuzzy partial order relation, and find sufficient conditions for the inverse image of a fuzzy partial order relation to be a fuzzy partial order relation. Also we define a fuzzy lattice as fuzzy relations, characterize a fuzzy lattice using its l...

In this review article we present results regarding the fuzzy order relations.The concept of fuzzy order was introduced by generalizing the notion of reflexivity, antisymmetric and transitivity.