In this paper, firstly we give weighted Jensen inequality for interval valued functions. Then, by using inequality, establish Hermite-Hadamard type inclusions interval-valued Moreover, obtain some of co-ordinated convex These are generalizations results given in earlier works.

We define and study a quantale-valued Wijsman structure on the hyperspace of all non-empty closed sets of a quantale-valued metric space. We show its admissibility and that the metrical coreflection coincides with the quantale-valued Hausdorff metric and that, for a metric space, the topological coreflection coincides with the classical Wijsman topology. We further define an index of compactnes...

Inconsistencies frequently occur in news about the real-world. Some of these inconsistencies may be more significant than others, and some news may contain more inconsistencies than others. This creates problems of deciding whether to act on these inconsistencies, and if so how. Possible actions on an inconsistency in a news report include ignore the inconsistency, resolve the inconsistency, an...

In [10] Osorio et al. introduced a paraconsistent three-valued logic, the logic CG3 which was named after the logic G ′ 3 due to the close relation between them. Authors defined CG3 via the three-valued matrix that defines G3 but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3 before constructing...

In this work we present additional results related to the property of strong equivalence of logic programs. This property asserts that two programs share the same set of stable models, even under the addition of new rules. As shown in a recent work by Lifschitz, Pearce and Valverde, strong equivalence can be simply reduced to equivalence in the logic of Here-and-There (HT). In this paper we pro...

A b s t r a c t. The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene's logics (strong, weak, intermediate) and it's extensions by adding an implicative connectives (" natural " implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics. In this paper...

in this paper, we prove the existence of fixed point for j-type multi-valuedmap t in cat(0) spaces and also we prove the strong convergence theoremsfor ishikawa iteration scheme without using the xed point of involving map.

this paper is an attempt to generalize, simultaneously, the ring of real-valued continuous functions and the ring of real-valued measurable functions.

Several query mapping algorithms have been proposed to translate XML queries into SQL queries for a schema-based relational XML storage. However, existing query mapping algorithms only support single-valued mapping schemes, in which each XML element type is mapped to exactly one relation, and do not support multi-valued mapping schemes, in which each XML element type can be mapped to multiple r...