Recently the question of standard completeness of MTL and its extensions were deeply studied. Jenei and Montagna showed that MTL logic satisfies standard completeness theorem (see [6]). In [2], the authors studied standard completeness of ΠMTL which is an axiomatic extension of MTL logic where the conjunction is interpreted by a left-continuous cancellative t-norm. They showed that ΠMTL logic i...

Lipschitzian and kernel aggregation operators with respect to the natural T indistinguishability operator ET and their powers are studied. A t-norm T is proved to be ET -lipschitzian, and is interpreted as a fuzzy point and a fuzzy map as well. Given an archimedean t-norm T with additive generator t, the quasi-arithmetic mean generated by t is proved to be the more stable aggregation operator w...

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.

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