In this paper we compare the expressive power of elementary representation formats for vague, incomplete or conflicting information. These include Boolean valuation pairs introduced by Lawry and Gonzalez-Rodriguez, orthopairs of sets of variables, Boolean possibility and necessity measures, three-valued valuations, supervaluations. We make explicit their connections with strong Kleene logic and...

Fabric tensor has proved to be an effective tool statistically characterizing directional data in a smooth and frame-indifferent form. Directional data arising from microscopic physics and mechanics can be summed up as tensor-valued orientation distribution functions ODFs . Two characterizations of the tensor-valued ODFs are proposed, using the asymmetric and symmetric fabric tensors respective...

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

We develop the notion of deformations using a valuation ring as ring of coefficients. This permits to consider in particular the classical Gerstenhaber deformations of associative or Lie algebras as infinitesimal deformations and to solve the equation of deformations in a polynomial frame. We consider also the deformations of the enveloping algebra of a rigid Lie algebra and we define valued de...

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

The project had three basic objectives. The first one was the logical and algebraic study of t-norm based many-valued logics in the frame of both residuated and substructural logics. The second one was the formalization, within the framework of the above logics, of several deductive soft computing mechanisms, based on fuzzy logic, to deal with vagueness, uncertainty and imprecision. The last on...