In this paper we prove strong completeness of axiomatic extensions of First Order SMTL logic adding the so-called quasi-witnessed axioms with respect to quasi-witnessed Models. In order to achieve this result, we make use of methods that are typical of Classical Predicate Logic, and have been later generalized by P. Hájek to cope with Predicate Fuzzy Logic. At the end of the paper, we obtain, a...

Multi–granulation is an improvement of the classical rough set theory since it uses a family of binary relations instead of of a single indiscernibility relation for the constructing of approximation. In this paper, the multi–granulation rough set approach is further generalized into fuzzy environment. A family of fuzzy T–similarity relations are used to define the optimistic and pessimistic fu...

Previously, we introduced a biparametric family of cardinality-based fuzzy similarity measures. In this paper, we generalize this family by adding a third parameter. We also study the generalized family for specific values of the third parameter. More precisely, we show that for particular values of this parameter, certain properties can be ensured by imposing constraints on the two remaining p...

the aim of this paper is to introduce the notions of ($epsilon, epsilon vee q$)-fuzzy p-ideals, ($epsilon, epsilon vee q$)-fuzzy q-ideals and ($epsilon, epsilon vee q$)-fuzzy a-ideals in bcialgebras and to investigate some of their properties. several characterizationtheorems for these generalized fuzzy ideals are proved and the relationshipamong these generalized fuzzy ideals of bci-algebras i...

The interval-valued intuitionistic fuzzy set (IVIFS) which is an extension of the Atanassov’s intuitionistic fuzzy set is a powerful tool for modeling real life decision making problems. In this paper, we propose the emph{generalized interval-valued intuitionistic fuzzy Hamacher generalized Shapley Choquet integral} (GIVIFHGSCI) and the emph{interval-valued intuitionistic fuzzy Hamacher general...

In the present paper, the analytical solution for an exact second order fuzzy initial value problem under generalized Hukuhara differentiability is obtained. First the solution of first order linear fuzzy differential equation under generalized Hukuhara differentiability is investigated using integration factor methods in two cases. The second based on the type of generalized Hukuhara different...

Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...

in this paper, we introduce a one-step iterative scheme for finding a common fixed point of a finite family of multivalued quasi-nonexpansive mappings in a real uniformly convex banach space. we establish weak and strong convergence theorems of the propose iterative scheme under some appropriate conditions.

in this paper, we interpret a fuzzy differential equation by using the strongly generalized differentiability concept. utilizing the generalized characterization theorem. then a novel hybrid method based on learning algorithm of fuzzy neural network for the solution of differential equation with fuzzy initial value is presented. here neural network is considered as a part of large eld called n...

The purpose of this paper is to introduce a new hybrid projection method based on modified Mann iterative scheme by the generalized f-projection operator for a countable family of relatively quasi-nonexpansive mappings and the solutions of the system of generalized mixed equilibrium problems. Furthermore, we prove the strong convergence theorem for a countable family of relatively quasi-nonexpa...