CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient’s symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to comp...

The study of the Gentzen system Gew determined by the well known sequent calculus FLew [Ono98, Ono03c] is interesting for the study of the substructural aspects of t-norm based logics [Háj98, EG01]. In [BGV05] we studied the 〈∨, ∗,¬, 0, 1〉 and the 〈∨,∧, ∗,¬, 0, 1〉-fragments of this Gentzen system and the same fragments of the logic of residuated lattices IPC∗\c. In this paper we continue the st...

on a hypergroupoid one can define a topology such that the hyperoperationis pseudocontinuous or continuous. in this paper we extend thisconcepts to the fuzzy case. we give a connection between the classical and thefuzzy (pseudo)continuous hyperoperations.

in this paper, rstly, it is proved that, for a fuzzy vector space, the set of its fuzzy bases de ned by shi and huang, is equivalent to the family of its bases de ned by p. lubczonok. secondly, for two fuzzy vector spaces, it is proved that they are isomorphic if and only if they have the same fuzzy dimension, and if their fuzzy dimensions are equal, then their dimensions are the same, however,...

the aim of this paper is the study of fuzzy basis and dimensionof fuzzy hypervector spaces. in this regard, first the notions of fuzzy linearindependence and fuzzy basis are introduced and then some related results areobtained. in particular, it is shown that for a large class of fuzzy hypervectorspace the fuzzy basis exist. finally, dimension of a fuzzy hypervector space isdefined and the basi...

in this work, we introduce notion of connectedness on fuzzy soft topological spaces and present fundamentals properties. we also investigate effect to fuzzy soft connectedness. moreover, c_i-connectedness which plays an important role in fuzzy topological space extend to fuzzy soft topological spaces.

This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finit...

moslehian  and mirmostafaee, investigated the fuzzystability problems for the cauchy additive functional equation, the jensen additivefunctional equation and the cubic functional equation in fuzzybanach spaces. in this paper, we investigate thegeneralized hyers–-ulam--rassias stability of the generalizedadditive functional equation with $n$--variables, in fuzzy banachspaces. also, we will show ...

in this paper, we study the existence of extremal solutions forimpulsive delay fuzzy integrodifferential equations in$n$-dimensional fuzzy vector space, by using monotone method. weshow that obtained result is an extension of the result ofrodr'{i}guez-l'{o}pez cite{rod2} to impulsive delay fuzzyintegrodifferential equations in $n$-dimensional fuzzy vector space.

P-normGeneralizedTrapezoidalIntuitionisticFuzzyNumberisthemostgeneralizedformofFuzzy aswellasIntuitionisticFuzzyNumber.Ithasahugeapplicationwhilesolvingvariousproblemsin impreciseenvironment.Inthispapertheauthorshavediscussedsomebasicarithmeticoperationsof p-normGeneralizedTrapezoidalIntuitionisticFuzzyNumbersusingtwodifferentmethods(extensio...