The Partial Algebra of Terms with a Fixed Number of Variables under a Generalized Superposition.

In this paper, we focus on terms with fixed variables count, terms under which the total numbers of occurrences of variables in each position are equal. Moreover, we determine conditions for which the set of terms with fixed variables count is closed under the generalized superposition. Furthermore, we form the partial algebras of such terms satisfying certain axioms as weak identities. [ABSTRACT FROM AUTHOR]