We develop a theory of stratified $LM$-filters which generalizes the theory of stratified $L$-filters. Our stratification condition explicitly depends on a suitable mapping between the lattices $L$ and $M$. If $L$ and $M$ are identical and the mapping is the identity mapping, then we obtain the theory of stratified $L$-filters. Based on the stratified $LM$-filters, a general theory of lattice-v...

We first introduce a new notion of the partial and generalized cone subconvexlike set-valued map and give an equivalent characterization of the partial and generalized cone subconvexlike set-valued map in linear spaces. Secondly, a generalized alternative theorem of the partial and generalized cone subconvexlike set-valued map was presented. Finally, Kuhn-Tucker conditions of set-valued optimiz...

We exhibit the analog of entropy map for multivariate Gaussian distributions on local fields. As in real case, image this lies supermodular cone and it determines distribution valuation vector. In general, can be defined non-archimedian valued fields whose group is an additive subgroup line, remains supermodular. also explicitly compute dimension 3.

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

Following the point-set lattice-theoretic (poslat) approach to topology of S. E. Rodabaugh [11], we introduced a more general way to do categorical (fuzzy) topology under the name of categorically-algebraic (catalg) topology [12], which unified many lattice-valued topological settings, and provided the means of intercommunication between different such frameworks. Moreover, motivated by the res...

When [Formula: see text] is a finite field, [J. Becker, J. Denef and L. Lipshitz, Further remarks on the elementary theory of formal power series rings, in Model Theory Algebra Arithmetic, Proceedings Karpacz, Poland, Lecture Notes Mathematics, Vol. 834 (Springer, Berlin, 1979)] observed that total residue map text], which picks out constant term Laurent series, definable language rings with pa...

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