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

The original definition of a topological space given by Hausdorff used neighborhood systems. Lattice-valued maps appear in this context when you identify a topology with a monoid in the Kleisli category of the filter monad on SET. H?hle’s notion of a lattice-valued topology [2] uses the same idea and it’s inspired in the classical lattice-valued topologies. Ltopological spaces are motivated by ...

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