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

A systematic approach is developed for enumerating congruence classes of 2-cell imbeddings of connected graphs on closed orientable 2-manifolds. The method is applied to the wheel graphs and to the complete graphs. Congruence class genus polynomials and congruence class imbedding polynomials are introduced, to summarize important information refining the enumeration.

During the last decade, CCS has been extended in different directions, among them priority and real time. One of the most satisfactory results for CCS is Milner’s complete proof system for observational congruence [?]. Observational congruence is fair in the sense that it is possible to escape divergence, reflected by an axiom recX.(τ.X + P ) = recX.τ.P . In this paper we discuss observational ...

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.

On the basis of the concept of interval valued intuitionistic fuzzy set introduced by K. Atanassov [3], the notion of interval valued intuitionistic fuzzy subsemigroup (ideal, bi-ideal, (1, 2)-ideal) of a semigroup with respect to t-norm T and s-norm S is given and the characteristic properties are described. The homomorphic image and inverse image are investigated. In particular, by the help o...

A function on an algebra is congruence preserving if, for any congruence, it maps congruent elements to congruent elements. We show that, on a free monoid generated by at least three letters, a function from the free monoid into itself is congruence preserving if and only if it is of the form x 7→ w0xw1 · · ·wn−1xwn for some finite sequence of words w0, . . . , wn. We generalize this result to ...

The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. A lattice is algebraic if it is complete and generated by its compact elements. We show that the set of indices of computable lattices that are complete is Π 1 -complete; the set of indices of computable lattices that are algebraic is Π 1 -complete; and that th...

The concept of abstract algebra on intuitionistic fuzzy sets were introduced and some basic theorems proved by authors in 2017. In this study, homomorphism between algebras is defined, function examined then congruence relations are defined algebra. First third isomorphism introduced.

this paper continues the study of the connection between hyper- groups and fuzzy sets, investigating the length of the sequence of join spaces associated with a hypergroup. the classes of complete hypergroups and of 1-hypergroups are considered and analyzed in this context. finally, we give a method to construct a nite hypergroup with the strong fuzzy grade equal to a given natural number