It is known that the standard intersection and union of type-1 fuzzy sets (i.e., the intersection and union under the minimum t-norm and maximum tconorm) are the only cutworthy operations for type1 fuzzy sets. The aim of this paper is to show that similar property holds also for type-2 fuzzy sets, with respect to some special cutting. As was already demonstrated, the intersection and union of t...

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

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

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

The Description Logic EL is used to formulate several large biomedical ontologies. Fuzzy extensions of EL can express the vagueness inherent in many biomedical concepts. We study the reasoning problem of deciding positive subsumption in fuzzy EL with semantics based on general t-norms. We show that the complexity of this problem depends on the specific t-norm chosen. More precisely, if the t-no...

In this paper, the notion of an interval valued intuitionistic fuzzy subsemiring (ideal) of a semiring 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 semirings, new interval valued intuitionistic (S, T )−fuzzy subsemirings (ideals) ...