Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...

With the unit interval [0,1] as the truth value table, Chen and Wupresented the concept of  possibility computation over dcpos.Indeed, every possibility computation can be considered as a[0,1]-valued Scott open set on a dcpo. The aim of this paper is tostudy Chen-Wu's duality on quantale-valued setting. For clarity,with a commutative unital quantale $L$ as the truth value table, weintroduce a c...

In information retrieval, the uncertain implication D −→ RQ has been different logical status. In this paper, we propose another way to consider this implication in fuzzy context. We introduce a logical formulation based on logical consequence and an evaluation based on an extension of fuzzy Galois connection. The proposed matching function deals with different semantics associated with terms d...

Smith’s article Fuzzy logic and higher-order vagueness [12] presents a solution to the problem of artificial precision, encountered in the degree-theoretical semantics of vagueness. The solution is based on fuzzy plurivaluationism, which has been discussed in more detail in Smith’s book [11]. Within the degree-theoretical framework, fuzzy plurivaluationism is certainly the appropriate treatment...

Computing with words (CWW) relies on linguistic representation of knowledge that is processed by operating at the semantical level defined through fuzzy sets. Linguistic representation of knowledge is a major issue when fuzzy rule based models are acquired from data by some form of empirical learning. Indeed, these models are often requested to exhibit interpretability, which is normally evalua...

The notion of the fuzzy assertion based on propositional modal logic is introduced and the properties of the fuzzy reasoning based on fuzzy assertions are studied. As an extending of the traditional semantics of modal logics, the fuzzy Kripke semantics is considered and a formal fuzzy reasoning system based on fuzzy constraint is established. In order to decide whether a fuzzy assertion is a lo...

Linguistic models of vagueness usually record contexts of possible precisifications. A link between such models and fuzzy logic is established by extracting fuzzy sets from context based word meanings and analyzing standard logical connectives in this setting. In a further step Lawry’s voting semantics for fuzzy logics is used to re-interpret standard t-norm based truth functions from the point...

This paper develops a category-theoretic approach to uncertainty and decision-making problems. It is based on appropriate rst order fuzzy logic in which not only logical connectives but also quantiiers have fuzzy interpretation. It is shown that all fundamental concepts of probability and statistics such as joint distribution, conditional distribution, etc., have meaningful analogs in new conte...