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

Let M = (L , ∗) be a GL-monoid. An M-valued preordered set is an L-subset endowed with a reflexive and M-transitive L-relation, it is essentially a category enriched in a quantaloid generated by M. This paper presents a study of M-valued preordered sets with emphasis on symmetrization and the Cauchy completion. The main result states that symmetrization and the Cauchy completion of M-valued pre...

In fairly elementary terms this paper presents how the theory of preordered fuzzy sets, more precisely quantale-valued preorders on quantale-valued fuzzy sets, is established under the guidance of enriched category theory. Motivated by several key results from the theory of quantaloid-enriched categories, this paper develops all needed ingredients purely in order-theoretic languages for the rea...

A μ-lattice is a lattice with the property that every unary polynomial has both a least and a greatest fix-point. In this paper we define the quasivariety of μ-lattices and, for a given partially ordered set P , we construct a μ-lattice JP whose elements are equivalence classes of games in a preordered class J (P ). We prove that the μ-lattice JP is free over the ordered set P and that the orde...

Given a commutative ring A equipped with a preordering A (in the most general sense, see below), we look for a fractional ring extension (= “ring of quotients” in the sense of Lambek et al. [L]) as big as possible such that A extends to a preordering R of R (i.e. with A ∩R+ = A) in a natural way. We then ask for subextensions A ⊂ B of A ⊂ R such that A is convex in B with respect to B := B ∩R+....

The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...

The state space of a machine admits the structure of time. For example, the geometric realization of a precubical set, a generalization of an unlabeled asynchronous transition system, admits a “local preorder” encoding control flow. In the case where time does not loop, the “locally preordered” state space splits into causally distinct components. The set of such components often gives a comput...

the present paper introduces the notion of the complete fuzzy norm on a linear space. and, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. some characterizations of their properties are obtained.