Clones of inductive superpositions of terms
A superposition is an operation of terms by which we substitute each variable within a term with other forms of terms. With more options of terms to be replaced, an inductive superposition is apparently more general than the superposition. This comes with a downside that it does not satisfy the supe...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
AIMS Press
2023-01-01
|
Series: | AIMS Mathematics |
Subjects: | |
Online Access: | https://www.aimspress.com/article/doi/10.3934/math.2023389?viewType=HTML |