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 discusses the property of local finiteness for t-norm monoids and extensions of them. The focus is (i) on t-norm bimonoids, which are of interest in the context of weighted automata, (ii) on those extensions of t-norm monoids which are reducts of t-algebras, i.e. of the basic semantic entities for the (fuzzy) logics of left-continuous and of continuous t-norms, and (iii) on extension...

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.

The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilit...

A t-norm is a binary operation on [0, 1] that is associative, commutative, with identity 1 and non-decreasing in both argument. The notion of t-norm is very important in the context of fuzzy logic, for it is used in modeling a general form of the propositional conjunction. The basic fuzzy logic (BL logic) was introduced by Hájek in [9,10] and it was inspired by a continuous t-norm and its resid...

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0, namely ¬φ isφ → 0. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which i...