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...

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...

Pseudorandom encoding with quantized real modulation values encodes only continuous real-valued functions. However, an arbitrary complex value can be represented if the desired value is first mapped to the closest real value realized by use of pseudorandom encoding. Examples of encoding real- and complex-valued functions illustrate performance improvements over conventional minimum distance map...

In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model checking. We then present a direct, automata-theoretic a...

This paper is an investigation of $L$-dual frames with respect to a function-valued inner product, the so called $L$-bracket product on $L^{2}(G)$, where G is a locally compact abelian group with a uniform lattice $L$. We show that several well known theorems for dual frames and dual Riesz bases in a Hilbert space remain valid for $L$-dual frames and $L$-dual Riesz bases in $L^{2}(G)$.

In this paper, we study the concept of $mathcal C$-reticulation for the category $mathcal C$ whose objects are lattice-valued maps. The relation between the free objects in $mathcal C$ and the $mathcal C$-reticulation of rings and modules is discussed. Also, a method to construct $mathcal C$-reticulation is presented, in the case where $mathcal C$ is equational. Some relations between the conce...

In this paper, we introduce the notion of co-annihilator of a subsetin a triangle algebra. It is shown that the co-annihilator of asubset is an interval valued residuated lattice (IVRL)-filter. Also, aspecial set of a triangle algebra is defined and the relationshipbetween this set and co-annihilator of a subset in triangle algebrais considered. Finally, co-annihilators preserving congruencerel...

Unlike monotone single-valued functions, multi-valued mappings may have none, one or (possibly infinitely) many minimal fixed-points. The contribution of this work is twofold. At first we overview and investigate about the existence and computation of minimal fixed-points of multi-valued mappings, whose domain is a complete lattice and whose range is its power set. Second, we show how these res...