Algebra universalis

, 61:381 | Cite as

Essential variables and positions in terms

Article

Abstract

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 Classification

08B05 08A02 03C05 08B15 

Key words and phrases

Composition of terms essential position in a term globally invariant congruence stable variety 

References

  1. 1.
    Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, millennium edn. http://www.math.uwaterloo.ca/~snburris/htdocs/ualg (2000)
  2. 2.
    Denecke K., Koppitz J., Shtrakov Sl.: Multi-hypersubstitutions and colored solid varieties. Internat. J. Algebra Comput. 16, 797–815 (2006)MATHCrossRefMathSciNetGoogle Scholar
  3. 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. 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
  5. 5.
    Shtrakov Sl., Denecke K.: Essential variables and separable sets in universal algebra. Mult.-Valued Log. 8, 165–181 (2002)MATHMathSciNetGoogle Scholar
  6. 6.
    Taylor W.: Hyperidentities and hypervarieties. Aequationes Math. 23, 30–49 (1981)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2009

Authors and Affiliations

  1. 1.Department of Computer ScienceSouth-West UniversityBlagoevgradBulgaria

Personalised recommendations