In this paper we consider algebras of fuzzy truth values equipped with an implication operation. Generalizing the definition of type-1 fuzzy implications, we discuss extended fuzzy S-implications and coimplications and also extended residual implications and coimplications, in particular to the extended residual of minimum. We study the algebraic properties of these operations and their relatio...

This paper extends the author’s earlier work on the Law of Large Numbers for fuzzy numbers [2] to the case where the fuzzy numbers are of type L-R. Namely, we shall define a class of Archimedean triangular norms in which the equality lim n→∞ Nes(mn − ≤ ηn ≤ mn + = 1, for any > 0, holds for all sequences of fuzzy numbers, ξi = (Mi, α, β)LR, i ∈ N, with twice differentiable and concave shape func...

Transitivity is a very important property in order to provide coherence to a preference relation. Usually, t-norms are considered to define the transitivity of fuzzy relations. In this paper we deal with conjunctors, a wider family than t-norm, to define the transitivity. This more general definition allows to impove the results found in the literature. We characterize the behaviour with respec...

Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex fragments. Decidability and complexity results for particular fragments are obtained as consequences.

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

A character recognition system using soft computing techniques is presented in this paper. We define fuzzy sets on the Hough transform of each character pattern pixel and synthesize additional fuzzy sets by t-norms. The heights of these t-norms form an n-dimensional feature vector for the character. A 3n-dimensional vector is then generated from the n-dimensional feature vector by defining thre...

In fuzzy logic in wider sense t norms got a prominent r ole in recent times In many valued logic the Lukasiewicz systems the G odel sytems and also the product logic are t norm based The present paper discusses the more general problem of the adequate axiomatizability for such t norm based logical systems in general survey ing results of the last years

in this paper, we introduce the notion of an action $y_x$as a generalization of the notion of a module,and the notion of a norm $vt: y_xto f$, where $f$ is a field and $vartriangle(xy)vartriangle(y') =$ $ vartriangle(y)vartriangle(xy')$ as well as the notion of fuzzy norm, where $vt: y_xto [0, 1]subseteq {bf r}$, with $bf r$  the set of all real numbers. a great many standard mappings on algebr...

It has been developed a C++ program that generates random fuzzy relations of a given dimension and computes their T-transitive closure (that contains the initial relation) and the new T-transitivized relation (that is contained in the initial relation) for the t-norms minimum, product and Lukasiewicz. It has been computed several distances between both transitive closure and transitivized relat...

Recent development of mathematical fuzzy logic is brieey surveyed. The set of all formulas of predicate logic that are tautologies with respect to all continuous t-norms is shown to be heavily non-recursive ((2-hard).