Coherence-based approaches are quite popular to reason under inconsistency. Most of them are defined with respect to totally preordered belief bases such as the lexicographic inference which is known to have desirable properties from theoretical, practical and psychological points of view. However, partially preordered belief bases offer much more flexibility to represent efficiently incomplete...

the paper deals with special types of $l$-ordered sets, $l$-fuzzy complete lattices, and fuzzy directed complete posets.first, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $l$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $l$-fuzzy complete lattice $(p;e)$, then the least fixpoint of $f$ is meet of ...

One of the main problems in utility theory is to find conditions which imply the numerical representability of topological spaces on which a preorder, or partial order, is defined. This study has reached a wide development in the literature: see, for instance, the works of Eilenberg, Debreu, Fleischer and Jaffray on completely preordered topological spaces [9, 7, 10, 15], and the seminal book b...

In this paper, our purpose is twofold. Firstly, the tensor andresiduum operations on $L-$nested systems are introduced under thecondition of complete residuated lattice. Then we show that$L-$nested systems form a complete residuated lattice, which isprecisely the classical isomorphic object of complete residuatedpower set lattice. Thus the new representation theorem of$L-$subsets on complete re...

in this paper, our purpose is twofold. firstly, the tensor andresiduum operations on $l-$nested systems are introduced under thecondition of complete residuated lattice. then we show that$l-$nested systems form a complete residuated lattice, which isprecisely the classical isomorphic object of complete residuatedpower set lattice. thus the new representation theorem of$l-$subsets on complete re...

In this paper, we study the category of quantale-valued preordered spaces. We show that it is a normalized topological and give characterization zero-dimensionality D-connectedness in Moreover, characterize explicitly each T0, T1, pre-T2, T2 NT2 Finally, examine how these are related to other full subcategory Ti(pre-T2(L-Prord)) (i=0,1,2) pre-T2(L-Prord), Ti (L-Prord) (i=1,2) L-Prord isomorphic.

We study self-homeomorphisms of zero dimensional metrizable compact Hausdorff spaces by means of the ordered first cohomology group, particularly in the light of the recent work of Giordano, Putnam, and Skau on minimal homeomorphisms. We show that flow equivalence of systems is analogous to Morita equivalence between algebras, and this is reflected in the ordered cohomology group. We show that ...

In spacetime physics any set C of events—a causal set—is taken to be partially ordered by the relation ≤ of possible causation: for p, q ∈ C, p ≤ q means that q is in p’s future light cone. In her groundbreaking paper The internal description of a causal set: What the universe looks like from the inside, Fotini Markopoulou proposes that the causal structure of spacetime itself be represented by...

Abstract We focus on the problem of handling inconsistency in lightweight ontologies. assume that terminological knowledge base (TBox) is specified DL-Lite and set assertional facts (ABox) partially preordered may be inconsistent with respect to TBox. One main contributions this paper provision an efficient safe method, called Elect, restore consistency ABox In case where flat (i.e. no prioriti...

This paper focuses on the relationship between an $L$-subset and the system of level-elements induced by it, where the underlying lattice $L$ is a complete residuated lattice and the domain set of $L$-subset is an $L$-partially ordered set $(X,P)$. Firstly, we obtain the sufficient and necessary condition that an $L$-subset is represented by its system of level-elements. Then, a new representat...