Fuzzy relations are mappings from pairs of elements into the interval [0, 1]. As a replacement for the complement operation one can use the mapping that sends x to 1 − x. Together with the concepts of t-norm and t-conorm a weak form of Boolean algebra can be defined. However, to our knowledge so far no notion of domain or codomain has been investigated for fuzzy relations. These might, however,...

Connectivity analysis methodology is suitable to find representative symptoms of a disease. This methodology describes connections between symptoms in particular way and then chooses the group of symptoms that have the high level of connection, or in other words, have strong interconnections between elements of a group. In this paper we investigate the analogy between connectivity analysis and ...

We focus on the Ferrers property of fuzzy preference relations. We study the connection between the Ferrers property and fuzzy interval orders. A crisp total interval order is characterized by the Ferrers property of its strict preference relation. Also, a crisp preference structure is a total interval order if and only if its large preference relation satisfies the Ferrers property. For fuzzy ...

The study adopted the method of Herrera-Viedma et al.,(2004): consistent fuzzy preference relations (Fuzzy PreRa) to apply the questionnaire which Zhilin Yang et al.(2005) developed. The result shows that the most important of the five-dimension is “Usability” and the most important of the nineteen items is “Relevant information to the customer”. Compared to the traditional AHP method, Fuzzy Pr...

In this paper we study the conditions under which a fuzzy topological space becomes a fuzzy almost resolvable space and the inter-relations between fuzzy almost resolvable, fuzzy almost irresolvable spaces, fuzzy submaximal spaces, fuzzy first category spaces, fuzzy Baire spaces, fuzzy weakly Volterra spaces are also investigated.

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the Basic Logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models...