In this note we consider the notion of intuitionistic fuzzy (weak) dual hyper K-ideals and obtain related results. Then we classify this notion according to level sets. After that we determine the relationships between intuitionistic fuzzy (weak) dual hyper K-ideals and intuitionistic fuzzy (weak) hyper K-ideals. Finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...

We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use in case of fuzzy information and probabilistic information, and describe the possibility to model multiple types of uncertainty in a single ontology. We also shortly present an appropriate fuzzy reasoning tool and define a comp...

Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f : weak f -congruence, f -congruence, and strong f -congruence. If f is odd, weak f -congruence preserves the ring structure on cohomology with Zf -coefficients. We show that strong f -congruence coincides with a relation previously stu...

we introduce some new concepts of topological spaces which say α − separable topologicalspace and o-topological group, α − first axiom, α − second axiom, and we find some relations betweenthem with some applications in normed spaces.

Fuzzy relations on the same domain are classified according to the equality of families of cut sets. This equality of fuzzy relations is completely characterized, not only for unit interval valued fuzzy relations, but more generally, for fuzzy relations whose domain is a (complete) lattice. Similar results for fuzzy sets in general are considered in [12]. Applications of the results for fuzzy c...

We investigate the consistency strength of the forcing axiom for Σ3 formulas, for various classes of forcings. We review that the consistency strength of Σ3-absoluteness for all set forcing or even just for ω1-preserving forcing is that of a reflecting cardinal. To get the same strength from the forcing axiom restricted to proper forcing, one can add the hypotheses that ω1 is inaccessible to re...

We formalize reasoning about fuzzy belief and fuzzy common belief, especially incomparable beliefs, in multi-agent systems by using a logical system based on Fitting’s many-valued modal logic, where incomparable beliefs mean beliefs whose degrees are not totally ordered. Completeness and decidability results for the logic of fuzzy belief and common belief are established while implicitly exploi...