A general notion of a congruence system is introduced for π-institutions. Congruence systems in this sense are collections of equivalence relations on the sets of sentences of the π-institution that are preserved both by signature morphisms and by fixed collections of natural transformations from finite tuples of sentences to sentences. Based on this notion of a congruence system, the notion of...

In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...

Work status congruence is the extent to which employees’ current work status (full time or part time) is congruent with their desired work status (Maynard, Thorsteinson & Parfyonova, 2006). Work status incongruence occurs when employees’ work status is inconsistent with their preferred work status, i.e., they are working full time but prefer to work part time or they are working part time but p...

This paper aims at solving the Hermitian SDC problem, i.e., that of \textit{simultaneously diagonalizing via $*$-congruence} a collection finitely many (not need pairwise commute) matrices. Theoretically, we provide some equivalent conditions for such matrix can be simultaneously diagonalized $^*$-congruence.% by nonsingular matrix. Interestingly, one leads to existence positive definite soluti...

The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruenceson finite pi processes. The weak bisimulation congruences are studied both in the absence and inthe presence of the mismatch operator. Some interesting phenomena about the open congruences arerevealed. Several new tau laws are discovered and their relationship is discussed. The contributi...

OBJECTIVE Research has suggested that congruence between patient characteristics and contextual characteristics is a more robust predictor of outcomes than either patient or context characteristics alone. The goal of the present study was to examine the degree of congruence between patient preferences for the clinical encounter and reports of analogous dimensions of provider behavior and the ef...

Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f : weak f -congruence, f -congruence, and strong f -congruence. If f is odd, weak f -congruence preserves the ring structure on cohomology with Zf -coefficients. We show that strong f -congruence coincides with a relation previously stu...

A subgroup of Γ which contains some principal congruence subgroup is called a congruence subgroup. The level of a congruence subgroup G is the smallest N such that Γ(N) ⊂ G. The literature on congruence subgroups is vast, and the subject remains very active. Rademacher conjectured that there are only finitely many genus 0 congruence subgroups. This problem was studied by Knopp and Newman [Knopp...