From the algorithm procedure presented in section 4 and the examples in this section, we can nd out it is easy to solve interval valued fuzzy relation equations by using fuzzy relation inequality system (8). The computation complexity of this algorithm is as same as that of the more commonly used algorithm 5] for fuzzy relation equations (1). So, the problem is more complicated than constant fu...

The paper deals with the valued comparison of intervals for decision making. Interval orders are classical preference structures where the comparison of intervals is done in an ordinal way. In this paper we focus on valued comparison where more information, especially the distance between end-points of intervals, is used in order to have more sophisticated preference relations. The generalizati...

The notion of (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras is introduced. Some characterization theorems in (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras are derived. Also we study relation between (∈,∈ ∨q)-interval-valued fuzzy prime ideal and (∈ ∨q)-interval-valued fuzzy level prime ideals. Characterization of interval-valued fuzzy set to b...

The relation between minimum sum-of-products expressions for multiple-valued input, binary-valued output functions and minimum sum-of-products expressions in Post algebra for multiple-valued input, multiple-valued output functions is made precise. We give an algorithm for minimizing Post expressions and discuss a method for their factorization. Experiments are given to demonstrate the effective...

$top$-filters can be used to define $top$-convergence spaces in the lattice-valued context. Connections between $top$-convergence spaces and lattice-valued convergence spaces are given. Regularity of a $top$-convergence space has recently been defined and studied by Fang and Yue. An equivalent characterization is given in the present work in terms of convergence of closures of $top$-filters.  M...

Through the development of set-valued information systems from models of single-valued information systems, we see there are important applications in the pattern recognition and intelligent decision-making. In this paper, we first introduce concept of dominance rough entropy in set-valued ordered information systems. When the average uncertainty quantity of rough set is measured in set-valued ...

Residuated structures are important lattice-ordered algebras both for mathematics and for logics; in particular, the development of lattice-valued mathematics and related non-classical logics is based on a multitude of lattice-ordered structures that suit for many-valued reasoning under uncertainty and vagueness. Extended-order algebras, introduced in [10] and further developed in [1], give an ...

The notion of stratified (L, M)-semiuniform convergence tower spaces is introduced, which extends the notions ofprobabilistic semiuniform convergence spaces and lattice-valued semiuniform convergence spaces. The resulting categoryis shown to be a strong topological universe. Besides, the relations between our category and that of stratified (L, M)-filter tower spaces are studied.

In this paper, for a complete lattice L, we introduce interval-valued L-fuzzy ideal (prime ideal) of a near-ring which is an extended notion of fuzzy ideal (prime ideal) of a near-ring. Some characterization and properties are discussed.