Connections between quasi-antiorder on a semigroup with apartness and a naturally defined quasi-antiorder relation on factor semigroup (according to congruence and anti-congruence) are presented. AMS Mathematics Subject Classification (2000): 03F55, 20M99

In this paper, we investigate po-purity using finitely presented S-posets, and give some equivalent conditions under which an S-poset is absolutely po-pure. We also introduce strongly finitely presented S-posets to characterize absolutely pure S-posets. Similar to the acts, every finitely presented cyclic S-posets is isomorphic to a factor S-poset of a pomonoid S by a finitely generated right con...

We study the problem of characterizing contextual equivalence in higher-orderlanguages with passivation. To overcome the difficulties arising in the proofof congruence of candidate bisimilarities, we introduce a new form of labelledtransition semantics together with its associated notion of bisimulation, whichwe call complementary semantics. Complementary semantics allows to...

Complementary and supplementary fit represent 2 distinct traditions within the person-environment fit paradigm. However, these traditions have progressed in parallel but separate streams. This article articulates the theoretical underpinnings of the 2 traditions, using psychological need fulfillment and value congruence as prototypes of each tradition. Using a sample of 963 adult employees rang...

Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...

When Tucker’s congruence coefficient is used to assess the similarity of factor interpretations, it is desirable to have a critical congruence level less than unity that can be regarded as indicative of identity of the factors. The literature only reports rules of thumb. The present article repeats and broadens the approach used in the study by Haven and ten Berge (1977). It aims to find a crit...