In this paper, associated with dominance relation, lattice theory and intuitionistic fuzzy sets theory, the lattice-valued information systems with interval-valued intuitionistic fuzzy decision are proposed and some of its properties are investigated carefully. And, an approach to knowledge reduction based on discernibility matrix in consistent latticevalued information systems with interval-va...

Uncertainty reasoning is one of the important issues of many research fields, such as artificial intelligence, knowledge-based systems, data-mining etc.. This paper proposes the theory of uncertainty reasoning in the “If...then...” type uncertainty reasoning mode based on the lattice-valued first-order logic Lvfl. The “If...then...” rule presented here is the rule in which both antecedent and c...

In this paper, we introduce the Denjoy-Pettis integral of set-valued mappings and investigate some properties of the set-valued Denjoy-Pettis integral. Finally we obtain the Dominated Convergence Theorem and Monotone Convergence Theorem for set-valued DenjoyPettis integrable mappings.

In this study, we introduce the notion of pointwise and uniform statistical convergence of double sequences of real-valued functions. We also give the relations between these convergences and pointwise,uniform convergence. Furthermore, we introduce the concept of statistically Cauchy sequence and study statistical analogue of convergence and Cauchy criterion for double sequences of real-valued ...

This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functions of the form θ : 2 7→ L, where P is a finite set of Boolean propositions and L is a finite distributive lattice. Such functions arise naturally in several verification problems. LVBDD are a natural generalisation of multi-ter...

‎In this paper‎, ‎we propose a new one-step iterative process for a‎ ‎countable family of quasi-nonexpansive multi-valued mappings in a‎ ‎CAT(0) space‎. ‎We also prove strong and $Delta$-convergence theorems‎ ‎of the proposed iterative process under some control conditions‎. ‎Our‎ ‎main results extend and generalize many results in the literature.

In this paper, under some appropriate conditions, we prove some $Delta$ and strong convergence theorems of endpoints for multi-valued nonexpansive mappings using modified Agarwal-O'Regan-Sahu iterative process in the general setting of 2-uniformly convex hyperbolic spaces. Our results extend and unify some recent results of the current literature.