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

The current study presents a conceptual framework for the moderation of the relationship between implicit and self-attributed motive congruency and psychological well-being. Consistent with this framework, we found evidence for such moderation effects for predicting life satisfaction in a secondary data analysis of a sample (N = 441) drawn from the Eugene-Springfield Community Sample longitudin...

We are concerned with the verification of behavioural equivalences for CCS specifications. We consider their axiomatic presentations thus relying on a term rewriting approach to verify the equivalence. In this framework it happens that, while some behavioural equivalences do admit a fmite canonical term rewriting system, the completion of observational congruence diverges. In the paper we prese...

Freese and J6nsson [8] showed that the congruence lattice of a (universal) algebra in a congruence modular variety is always arguesian. On the other hand J6nsson [16] constructed arguesian lattices which cannot be embedded into the normal subgroup lattice of a group. These lattices consist of two arguesian planes of different prime order glued together over a two element sublattice (cf. Dilwort...

where u and v denote the parameters determining the curves and t is the parameter which determines the points on the curve. By this method of definition the equations of a congruence of curves are given a form similar to that usually adopted in the discussions of rectilinear congruences, so that one proceeds naturally to a generalization of some of the properties of the latter. At the same time...

1. Congruence lattices. G. Birkhoff and O. Frink noted that the congruence lattice Con04) of an algebra A (with operations of finite rank) is algebraic or compactly generated. The celebrated Grätzer-Schmidt theorem states that, conversely, every algebraic lattice is isomorphic to Con(A) for some algebra A. The importance of this is obvious, for it shows that unless something more is known about...

We construct a new normal form for one variable terms up to left distributivity. The proof that this normal form exists for every term is considerably simpler than the corresponding proof for the forms previously introduced by Richard Laver. In particular the determination of the present normal form can be made in a primitive recursive way. Throughout the paper W denotes the set of all wellform...

A connection relating Tamari lattices on symmetric groups regarded as lattices under the weak Bruhat order to the positive monoid P of Thompson group F is presented. Tamari congruence classes correspond to classes of equivalent elements in P. The two well known normal forms in P correspond to endpoints of intervals in the weak Bruhat order that determine the Tamari classes. In the monoid P thes...