This paper generalizes the concept of Mazurkiewicz traces to a fuzzy description of a concurrent process, where a known preex is given in a rst component and a second alphabetic component yields necessary information about future actions. This allows to deene a good semantic domain where the concatenation is continuous with respect to the Scott-and to the Lawson topology. For this we deene the ...

in this paper, we de ne the concepts of general fuzzy recognizer, language recognized by a general fuzzy recognizer, the accessible and the coac- cessible parts of a general fuzzy recognizer and the reversal of a general fuzzy recognizer. then we obtain the relationships between them and construct a topology and some hypergroups on a general fuzzy recognizer.

We will present a formalization of pointfree topology in Martin-Löf's type theory. A notion of point will be introduced and we will show that the points of a Scott topology form a Scott domain. This work follows closely the intuitionistic approach to pointfree topology and domain theory, developed mainly by Martin-Löf and Sambin. The important di erence is that the de nitions and proofs are mac...

Introduction § 0. Preliminaries: fuzzy sets 125 § 1. Fuzzy topological spaces: the basic categories of fuzzy topology 127 § 2. Fundamental interrelations between the category Top of topological 135 spaces and the categories of fuzzy topology § 3. Local structure of fuzzy topological spaces 138 § 4. Convergence structures in fuzzy spaces 140 § 5. Separation in fuzzy spaces 143 § 6. Normality and...

‎in this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules.  it shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. we investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. finally we extend krull's intersection theorem of fuzzy ideals by using concept $mu$-adic...

Mizar formalization of pp. 105–108 of [10] which continues [27]. We found a simplification for the proof of Corollary 1.15, in the last case, see the proof in the Mizar article for details. One can prove the following propositions: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and G = F and for every subset g of ...