First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...

We review topics in the theory of cellular automata and dynamical systems that are related to the Moore-Myhill Garden of Eden theorem.

The states of a finite-state automaton \(\mathcal {N} \) can be identified with collections words in the prefix closure regular language accepted by . But ordered, and among many possible orders very natural one is co-lexicographic order. Such naturalness stems from fact that it suggests transfer order to automaton’s states. This suggestion is, fact, concrete number papers automata admitting to...

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of ref...

Strictly Local Stringsets Membership in a Strictly 2-Local (SL2) stringset (McNaughton and Papert 1971) is determined by the initial symbol, by the pairs of symbols that occur in the string and by the final symbol (independently). Thus they can be specified by giving a set of pairs of symbols drawn from the alphabet augmented by a start and an end marker. The members of the stringset are all an...

In studying effective structures we investigate the effective content of typical notions and constructions in many branches of mathematics including universal algebra and model theory. In particular, we are interested in the possibilities of effectivizing model–theoretic or algebraic constructions and the limits on these possibilities. For instance, we try to understand whether certain results ...

fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. in this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. we focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. at last, fuzzy completecongruen...