There are many symmetries in intuitionistic fuzzifying topology. In the present paper, notion of topology as an extension and a preliminary research on bi-intuitionistic fuzzy is introduced. A theory with semantic method logic established.

In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) that the class of uncountable linear orders has a five element basis. In fact such a basis follows from the Proper Forcing Axiom, a strong form of the Baire Category Theorem. The elements are X , ω1,...

The Constraint Hierarchy (CH) framework is used to tackle multiple criteria selection (MCS), consisting of a set of candidates and a set of, possibly competing, criteria for selecting the \best" candidate(s). In this paper, we identify aspects of the CH framework for further enhancement so as to model and solve MCS problems more accurately. We propose the Fuzzy Constraint Hierarchies framework,...

In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.

The aim of this paper is to study the categorical relations betweenmatroids, Goetschel-Voxman’s fuzzy matroids and Shi’s fuzzifying matroids.It is shown that the category of fuzzifying matroids is isomorphic to that ofclosed fuzzy matroids and the latter is concretely coreflective in the categoryof fuzzy matroids. The category of matroids can be embedded in that offuzzifying matroids as a simul...

Several axioms concerning probabilistic beliefs are examined here, and the relations between them are established, using belief spaces that generalize Harsanyi type spaces. Two axioms concerning highorder probabilistic beliefs are investigated in particular. The first is the triviality axiom, which says that one is certain (that is, has a belief of degree one) of one’s own beliefs. The second i...

Berry's category of dI-domains with stable functions is a relatively intricate , yet elegant framework for semantics of programming languages. Despite over fteen years of work in the area, the exact reasons for dis-tributivity (Axiom d) and nitariness (Axiom I) have not been fully ex-plicated. This paper shows that Axiom d and Axiom I are important when one works within the realm of Scott-domai...

This paper presents an original definition of data representativeness. The representativeness of each datum in a dataset is a meaningful notion quantified by a degree computed by aggregating fuzzy subsets. These fuzzy subsets are obtained by fuzzifying data in a robust way. We illustrate the usefulness of the representativeness by presenting applications for statistical location estimation,and ...