Essential variables and positions in terms

Details Essential variables and positions in terms Essential variables and positions in terms

2008-02-17

arxiv.org/abs/0802.2385v4

J. Algebra Universalis, Vol. 61, No 3-4, (2009), pp. 381-397

Mathematics

General Mathematics

17 pages, 2 figures

Scientific paper

The paper deals with $\Sigma-$composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concept of essential variables and essential positions of terms with respect to a set of identities is a key step in the simplification of the process of formal deduction. $\Sigma-$composition of terms is defined as replacement between $\Sigma$-equal terms. This composition induces $\Sigma R-$deductively closed sets of identities. In analogy to balanced identities we introduce and investigate $\Sigma-$balanced identities for a given set of identities $\Sigma$.

Affiliated with

Also associated with

No associations

Rating

Essential variables and positions in terms does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Essential variables and positions in terms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Essential variables and positions in terms will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-550501