Essential variables and positions in terms
The paper deals with Σ-composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concepts of essential variables and essential positions of terms with respect to a set of identities form a key step in the simplification of the process of formal deduction. Σ-composition of terms is defined as replacement between Σ-equal terms. This composition induces ΣR-deductively closed sets of identities. In analogy to balanced identities we introduce and investigate Σ-balanced identities for a given set of identities Σ.
2000 Mathematics Subject Classification08B05 08A02 03C05 08B15
Key words and phrasesComposition of terms essential position in a term globally invariant congruence stable variety
- 1.Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, millennium edn. http://www.math.uwaterloo.ca/~snburris/htdocs/ualg (2000)
- 3.Denecke, K., Lau, D., P¨oschel, R., Schweigert, D.: Solidifyable clones. In: General Algebra, vol. 20, pp. 41–69. Heldermann, Berlin (1993)Google Scholar
- 4.Graczýnska, E.: On normal and regular identities and hyperidentities. In: Universal and Applied Algebra (Turawa, 1988), pp. 107–135. World Scientific (1989)Google Scholar