In this paper we provide a simple characterization of the dominance in two classes of continuous triangular norms. In particular, we solve the dominance of (i) ordinal sum t-norms that use the Łukasiewicz t-norm as the only summand operation and (ii) ordinal sum t-norms that use the product t-norm as the only summand operation. In both cases, the dominance relation is characterized by a simple ...

The notion of the interval-valued intuitionistic fuzzy set (IVIFS) is a generalization of that of the Atanassov’s intuitionistic fuzzy set. The fundamental characteristic of IVIFS is that the values of its membership function and non-membership function are intervals rather than exact numbers. There are various averaging operators defined for IVIFSs. These operators are not monotone with respec...

Triangular norms are a generalisation of the classical two-valued conjunction. They were originally introduced for definition of the probabilistic (statistical) metric spaces as a generalisation of the classical triangle inequality for ordinary metric spaces. The next investigations were related with axiomatic of these norms. In this paper, a new t-norm is proposed which is generalisation of th...

We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV -algebras, is decidable (in PSPACE ).

In the framework of propositional Lukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its domain, is introduced. Several variants of implicitly defining each of the rational elements in the standard semantics are explored, and based on that, a faithful interpretation of theories in Rational Pavelka logic ...

J. Vaz De Carvalho and T. Almada in A generalization of the Lukasiewicz algebras, Studia Logica 69 (2001), 329-338 introduced the variety Ln , m ≥ 1, n ≥ 2, of m–generalized Lukasiewicz algebras of order n as a generalization of Lukasiewicz algebras of order n and a particular case of Ockham algebras. In this note, bearing in mind the important role that weak implication played in the study of ...

p . It follows that inequality (1.2) holds for any a ∈ lp when U1/p ≥ ||C||p,p and fails to hold for some a ∈ lp when U1/p < ||C||p,p. Hardy’s inequality thus asserts that the Cesáro matrix operator C, given by cn,k = 1/n, k ≤ n and 0 otherwise, is bounded on l p and has norm ≤ p/(p−1). (The norm is in fact p/(p− 1).) We say a matrix A = (an,k) is a lower triangular matrix if an,k = 0 for n < k...

Stability results are proved for traveling waves in a class of reaction-diffusion systems that arise in chemical reaction models. The class includes systems in which there is no diffusion in some equations. A weight function that decays exponentially at one end is required to stabilize the essential spectrum. Perturbations of the wave in H1 or BUC that are small in both the weighted norm and th...

We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and we prove that every formula has an admissibly saturated approximation. We also show that Lukasiewicz logic has no finite basis of admissible rules.

We define the Lukasiewicz transform as a residuated map and a homomorphism between semimodules over the semiring reducts of an MV-algebra. Then we describe the “ Lukasiewicz Transform Based” ( LTB) algorithm for image processing, demonstrating its applicability.