Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm b...

of the origin in C ' , and vice versa. But clearly, not every convex compact neighbourhood of the origin in C ~' belongs to a lub norm. The principal problem to be considered here is the geometric characterizat ion of those convex bodies in C ~' which are associated with lub norms. The question arises because of the fact tha t m a n y of the properties of vector norms fall quite easily and natu...

The label semantics linguistic representation framework is introduced as an alternative approach to computing and modelling with words, based on the concept of appropriateness rather than graded truth. A possible worlds interpretation of label semantics is then proposed. In this model it is shown that certain assumptions about the underlying possible worlds can result in appropriateness measure...

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.