Definition 1.1 (see [1]). A triple (X ,M,∗), where X is an arbitrary set, ∗ is a continuous t-norm, andM is a fuzzy set on X2× (0,∞), is said to be a fuzzy metric space (in the sense of George and Veeramani) if the following conditions are satisfied for all x, y ∈ X and s, t > 0: (GV-1) M(x, y, t) > 0; (GV-2) M(x, y, t)= 1 if and only if x = y; (GV-3) M(x, y, t)=M(y,x, t); (GV-4) M(x, y,·) is c...

and this index is constant on continuous families of such L. Suppose that D is an elliptic operator of order m on sections of a vector bundle E± over a smooth, compact manifold M . Let H (Γ (M,E±)) denote the Sobolev s-norm completion of the space of sections Γ (M,E), with respect to a chosen metric. Then D can be extended to be a bounded linear operator Ds : H s (Γ (M,E)) → Hs−m (Γ (M,E−)) tha...

In this paper, first we give the definitions of various indicators of fuzzy relations and their basic properties. Then we investigate the relationships between these indicators, particularly between those of T-transitivity, negative S-transitivity, T–S-semitransitivity and T–S-Ferrers property. The investigation is divided into three parts: results in the general case, results under a condition...

certain restrictions on the entries of A such that ψ(x) = (ax+ b)(cx+ d)−1, x ∈ Rn, and cx+ d 6= 0. Let O(n) be the real orthogonal group, i.e., the group of invertible linear transformations of Rn that preserve the inner-product K. For any v ∈ Rn, let v⊥ = {x ∈ Rn : K(x, v) = 0}, span(v) = {αv : α ∈ R}, and let ‖v‖ = K(v, v)1/2 be the Euclidean norm. Suppose v is a unit vector, i.e., ‖v‖ = 1. ...

The notions of t-fuzzy left h-ideals, finite valued tfuzzy left h-ideals in a Γ−hemiring are introduced and some of their basic properties are investigated. t-fuzzy relations on a Γ−hemiring S are discussed and a characterization is given. Copyright c © 2011 Yang’s Scientific Research Institute, LLC. All rights reserved.

The aim of this paper is to promote web geometry and, especially, the Reidemeister closure condition as a powerful and intuitive tool characterizing associativity of the Archimedean triangular norms. In order to demonstrate its possible applications, we provide the full solution to the problem of convex combinations of nilpotent triangular norms. Keywords— Archimedean triangular norm, web geome...

that produce the \best ̄t" to the data. Here, n denotes the noise or ̄tting error. By the term \best ̄t," we mean the minimization of the ̄tting error in some sense. For example, typical norm or norm-like functionals used as arguments in the above minimization problem are: 2 knk1 = ess. supt jn(t)j; the L1 norm. 2 knk2 = ¡R1 0 jn(t)j2 dt¢1=2; the L2 norm (energy). 2 knk2;± = ¡R1 0 e2±tjn(t)j2 dt¢1=...

This paper is a contribution to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and ∆-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate ...

We explain Giles’s characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion. The game is generalized to other fuzzy logics and linked to recent results in proof theory. We argue that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.