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

In the late 1930's Garrett Birkhoff [3] pioneered the theory of distributive lattices. An important component in this theory is the concept of exponentiation of lattices [4]: for a lattice L and a partially ordered set P let L denote the set of all order-preserving maps of P to L partially ordered b y / ^ g if and only if/(;c) ^ g(x) for each x e P (see Figure 1). Indeed, If is a lattice. This ...

In this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. Also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

employing the notions of the strong $l$-topology introduced by zhangand the $l$-frame introduced by yao  and the concept of $l$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf st$l$-top} of strong$l$-topological spaces, {bf s$l$-loc} of strict $l$-locales and{bf $l$-entopsys} of $l$-enriched topological systems. all of theseconcepts are ...

In this paper, we investigate the notion of partition of a finite partially ordered set (poset, for short). We will define three different notions of partition of a poset, namely, monotone, regular, and open partition. For each of these notions we will find three equivalent definitions, that will be shown to be equivalent. We start by defining partitions of a poset in terms of fibres of some su...

Let P = {pi|i = 1, 2, . . . , n} be a set of n elements with partial order defined as follows: pi ≤ pj if and only if i divides j. Assume real numbers are assigned to all members of P in an order preserving manner, this results in a set A of n real numbers. Given an unknown x ∈ R, we want to determine whether x is belong to A or not, by comparing x with as few elements of A as possible. We pres...