Given a Brouwerian complete lattice (L,≤) and two referential sets K and E, and using a fuzzy relation R ∈ L which is reflexive and symmetric, certain fuzzy relations Ĥ ∈ L are characterized as solutions of X C R = X. These solutions Ĥ can be determinated by means of the L-fuzzy concepts associated with the K-labeled L-fuzzy context (L,K,E,E,R).

We explore the problem of constructing maximal and unbounded filters on computable posets. We obtain both computability results and reverse mathematics results. A maximal filter is one that does not extend to a larger filter. We show that every computable poset has a ∆2 maximal filter, and there is a computable poset with no Π1 or Σ 0 1 maximal filter. There is a computable poset on which every...

the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

A partially ordered set (poset) is planar if it has a planar Hasse diagram. The dimension of a bounded planar poset is at most two. We show that the dimension of a planar poset having a greatest lower bound is at most three. We also construct four-dimensional planar posets, but no planar poset with dimension larger than four is known. A poset is called a tree if its Hasse diagram is a tree in t...

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

in this paper, we extend the construction of a fuzzy subgroup generated by a fuzzy subset to $l$-setting. this construction is illustrated by an example. we also prove that for an $l$-subset of a group, the subgroup generated by its level subset is the level subset of the subgroup generated by that $l$-subset provided the given $l$-subset possesses sup-property.

In 1997, Fang proposed the concept of boundedness of $L$-fuzzy setsin $L$-topological vector spaces. Since then, this concept has beenwidely accepted and adopted in the literature. In this paper,several characterizations of bounded $L$-fuzzy sets in$L$-topological vector spaces are obtained and some properties ofbounded $L$-fuzzy sets are investigated.