On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K. Atanassov, the notion of interval valued intuitionistic fuzzy subsemimodule of a semimodule with respect to t-norm T and s-norm S is given and the characteristic properties are described. The homomorphic image and inverse image are investigated. In particular, by the help of the congruence relations on...

Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential restrictions, and residual negation, even if the ontology itself is crisp. All those results depend on restricting reasoning to witnessed models. In this paper, we show th...

and Applied Analysis 3 x ν αx, t ν x, t/|α| for each α/ 0, xi ν x, t ν y, s ≥ ν x y, t s , xii ν x, · : 0,∞ → 0, 1 is continuous, xiii limt→∞ν x, t 0 and limt→ 0ν x, t 1. In this case μ, ν is called an intuitionistic fuzzy norm. Example 1.4 cf. 37 . Let X, ‖·‖ be a normed space, a∗b ab, and a b min a b, 1 for all a, b ∈ 0, 1 . For all x ∈ X and every t > 0 and k 1, 2, consider μk x, t ⎧ ⎨ ⎩ t t...

On the basis of the concept of the interval valued intuitionistic fuzzy sets introduced by K.Atanassov, the notion of interval valued intuitionistic fuzzyHv-submodules of anHv-module with respect to t-norm T and s-norm S is given and the characteristic properties are described. The homomorphic image and the inverse image are investigated.In particular, the connections between interval valued in...

motivated by samet et al. [nonlinear anal., 75(4) (2012), 2154-2165], we introduce the notions of $alpha$-$phi$-fuzzy contractive mapping and $beta$-$psi$-fuzzy contractive mapping and prove two theorems which ensure the existence and uniqueness of a fixed point for these two types of mappings. the presented theorems extend, generalize and improve the corresponding results given in the literature.

We consider linear equality systems where all the parameters may be fuzzy variables specified by their possibility distribution, the operations addition and multiplication by a real number of fuzzy parameters are defined via a suptriangular norm composition, and the equations are understood in possibilistic sense. We show that when the triangular norm defining the operations and equations is co...

Supervaluationism and fuzzy logic are two complementary formalisms for reasoning with vague information. We study a framework for combining both approaches. Supervaluationism is modeled by a space of precisifications, essentially a Kripke structure. We equip this space with a probability measure to extract the truth value of each propositional variable by measuring the set of precisifications i...

in this paper, we generalize fuzzy banach contraction theorem establishedby v. gregori and a. sapena [fuzzy sets and systems 125 (2002) 245-252]using notion of altering distance which was initiated by khan et al. [bull. austral.math. soc., 30(1984), 1-9] in metric spaces.