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

A problem stated by Höhle in his book “Many-valued Topology and Applications” is solved. The problem consists of finding a necessary and sufficient condition for a stratified L-filter to be induced by a -filter in the sense of Lemma 4.4.3 in this book. The condition given is proved to be equivalent to the condition considered in Proposition 4.4.4 in this book in the case of complete MV -algebra...

L-sets over a base set X are generalizations of classical sets where subsets are not specified by characteristic functions from X to {0, 1} but rather by functions from X to a lattice L. For an L-set a ∈ L and an element x ∈ X, a(x) is interpreted as the grade of membership of x in a. Stratified L-topological spaces are generalizations of topological spaces to the L-set case [1]. In [2], strati...

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...