The paper presents IF-inference systems of Takagi-Sugeno type. It is based on intuitionistic fuzzy sets (IF-sets), introduced by K.T. Atanassov, fuzzy t-norm and t-conorm, intuitionistic fuzzy t-norm and t-conorm. Thus, an IFinference system is developed for ozone time series prediction. Finally, we compare the results of the IF-inference systems across various operators.

Possibilistic states of information are fuzzy sets of possible worlds. They constitute a complete lattice, which can be endowed with a monoidal operation (a t-norm) to produce a quantal. An algebraic semantics is presented which links possibilistic formulae with information states, and gives a natural interpretation of logical connectives as operations on fuzzy sets. Due to the quantal structur...

Let (Ω,Σ, μ) be a measure space and let 1 < p < ∞. The weak L space L(Ω,Σ, μ) consists of all measurable functions f such that ‖f‖ = sup t>0 t 1 p f∗(t) < ∞, where f∗ is the decreasing rearrangement of |f |. It is a Banach space under a norm which is equivalent to the expression above. In this paper, we pursue the problem of classifying weak L spaces isomorphically when (Ω,Σ, μ) is purely atomi...

In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: one is called the splitting step and the other is called the combination step. Given several inconsistent possibilistic knowledge bases (i.e. the union of these possibilistic bases is inconsistent), we split each of them...

The notion of S-fuzzy left h-ideals in a hemiring is introduced and it’s basic properties are investigated.We also study the homomorphic image and preimage of S-fuzzy left h-ideal of hemirings.Using a collection of left h-ideals of a hemiring, S-fuzzy left h-ideal of hemirings are established.The notion of a finitevalued S-fuzzy left h-ideal is introduced,and its characterization is given.S-fuz...

We are concerned with the variety T of algebras of type (2,2,2,0,0) generated by the algebra (I,◦), where I = ([0,1],∧,∨,0,1) is the unit interval with minimum and maximum determined by the usual order and.◦ 6 = ∧ is a continuous t-norm. We have shown that a strict t-norm and a nilpotent t-norm, and in fact any continuous t-norm except minimum, generate the same variety. Moreover, this variety ...

The structure of cancellative t-norms is studied. It is shown that a cancellative tnorm is generated if and only if it has no anomalous pair, and then it is Archimedean. Moreover, if it is also continuous in point (1,1) it is isomorphic to the product tnorm. Several examples of non-generated cancellative t-norms are also given.

Special implications were introduced by Hájek and Kohout [Fuzzy implications and generalized quantifiers, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 4 (1996) 225–233] in their investigations on some statistics on marginals. They have either suggested or only partially answered three important questions, especially related to special implications and residuals of t-norms. In this work we in...

The main concern of this paper is to introduce and characterize the class of operators on a finite chain L, having the same properties of pseudo-smooth uninorms but without commutativity. Moreover, in this case it will only be required the existence of a one-side neutral element. These operators are characterized as combinations of A N D and O R operators of directed algebras (smooth t-norms an...