128
Views
1
CrossRef citations to date
0
Altmetric
Research Article

Superassociative structures of terms and formulas defined by transformations preserving a partition

ORCID Icon & ORCID Icon
Pages 3203-3220 | Received 05 Jul 2022, Accepted 28 Jan 2023, Published online: 27 Feb 2023

References

  • Aichinger, E., Mudrinski, N., Oprsal, J. (2018). Complexity of term representations of finitary functions. Int. J. Algebra Comput. 28:1101–1118. DOI: 10.1142/S0218196718500480.
  • Busaman, S. (2021). Unitary Menger algebra of C-quantifier free formulas of type (τ2,2) . Asian-Eur. J. Math. 14(4):2150050.
  • Camino, C., Diekert, V., Dundua, B., Marin, M., Sénizergues, G. (2022). Regular matching problems for infinite trees. Log. Methods Comput. Sci. 18(1):25:1–25:8. DOI: 10.46298/lmcs-18(1:25)2022.
  • Changphas, T., Pibaljommee, B., Denecke, K. (2019). The monoid of linear hypersubstitutions. Kyungpook Math. J. 59:617–629.
  • DeMeo, W., Freese, R., Valeriote, M. (2019). Polynomial-time tests for difference terms in idempotent varieties. Int. J. Algebra Comput. 26(6):927–949. DOI: 10.1142/S021819671950036X.
  • Denecke, K. (2019). The partial clone of linear formulas. Sib. Math J. 60:572–584. DOI: 10.1134/S0037446619040037.
  • Denecke K., Hounnon, H. (2021). Partial Menger algebras of terms. Asian-Eur. J. Math. 14(6):2150092.
  • Denecke, K., Jampachon, P. (2003). Clones of full terms. Algebra Discrete Math. 4:1–11.
  • Denecke, K., Koppitz, J., Niwczyk, S. T. (2002). Equational theories generated by hypersubstitutions of type (n). Int. J. Algebra Comput. 12(6):867–876. DOI: 10.1142/S0218196702001218.
  • Denecke, K., Phusanga, D. (2008). Hyperformulas and solid algebraic systems. Stud. Log. 90:263–286. DOI: 10.1007/s11225-008-9152-3.
  • Droste, M., Kutsia, T., Rahonis, G., Schreiner. W. (2022). McCarthy-Kleene fuzzy automata and MSO logics. Info. Comput. 272:104499. DOI: 10.1016/j.ic.2019.104499.
  • Dudek, W. A., Trokhimenko, V. S. (2018). Menger algebras of associative and self-distributive n-ary operations. Quasigr. Relat. Syst. 26:45–52.
  • Dudek, W. A., Trokhimenko, V. S. (2021). Menger algebras of k-commutative n-place functions. Georgian Math. J. 28(3):355–361.
  • Guellouma, Y., Cherroun, H. (2018). From tree automata to rational tree expressions. Int. J. Found. Comput. Sci. 29(6):1045–1062.
  • Joomwong, J., Phusanga, D. (2021). On Green’s relations which are related to an algebraic system of type ((n);(m)) . Southeast Asian Bull. Math. 45(6):897–904.
  • Kearnes, K. A., Kiss, E. W., Szendrei, A. (2021). Minimal abelian varieties of algebras, I. Int. J. Algebra Comput. 31(2):205–217. DOI: 10.1142/S0218196721500107.
  • Kitpratyakul, P., Pibaljommee, B. (2022). On substructures of semigroups of inductive terms. AIMS Math. 7(6):9835–9845. DOI: 10.3934/math.2022548.
  • Kumduang, T., Leeratanavalee, S. (2021). Left translations and isomorphism theorems of Menger algebras. Kyungpook Math. J. 61(2):223–237.
  • Kumduang, T., Leeratanavalee, S. (2021). Semigroups of terms, tree languages, Menger algebra of n-ary functions and their embedding theorems. Symmetry 13(4):558. DOI: 10.3390/sym13040558.
  • Lekkoksung, S. (2016). M-solid generalized non-deterministic varieties. Discuss. Math., Gen. Algebra Appl. 36:25–43. DOI: 10.7151/dmgaa.1249.
  • Lekkoksung, N., Lekkoksung, S. (2021). On partial clones of k-terms. Discuss. Math., Gen. Algebra Appl. 41:361–379. DOI: 10.7151/dmgaa.1376.
  • Mal’cev, A. I. (1973). Algebraic Systems. Berlin, Germany: Akademie-Verlag.
  • Movsisyan, Yu. M. (2017). Hyperidentities and related concepts, I. Armen. J. Math. 9(2):146–222.
  • Nongmanee, A., Leeratanavalee, S. (2021). v-regular ternary Menger algebras and left translations of ternary Menger algebras. Mathematics 9(21):2691. DOI: 10.3390/math9212691.
  • Pei, H. (1994). Equivalences, α-semigroups and α-congruences. Semigr. Forum 49(1):49–58.
  • Phuapong, S., Kumduang, T. (2021). Menger algebras of terms induced by transformations with restricted range. Quasigr. Relat. Syst. 29:255–268.
  • Phuapong, S., Pookpienlert, C. (2021). S(ni¯,Yi) -terms and their algebraic properties. Thai J. Math. 20(1):337–346
  • Phusanga, D., Koppitz, J. (2019). Some varieties of algebraic systems of type ((n),(m)) . Asian-Eur. J. Math. 12(1):1950005.
  • Puninagool, W., Leeratanavalee, S. (2010). Complexity of terms, superpositions, and generalized hypersubstitutions. Comput. Math. Appl. 59:1038–1045. DOI: 10.1016/j.camwa.2009.06.033.
  • Purisang, P., Rakbud, J. (2016). Regularity of transformation semigroups defined by a partition. Commun. Korean Math. Soc. 31(2):217–227.
  • Salehia, S., Steinby, M. (2007). Tree algebras and varieties of tree languages. Theor. Comput. Sci. 377:1–24 DOI: 10.1016/j.tcs.2007.02.006.
  • Sarkar, M., Singh, S. N. (2021). On certain semigroups of transformations that preserve a partition. Commun. Algebra 49(1):331–342. DOI: 10.1080/00927872.2020.1799224.
  • Shtrakov, S., Koppitz, J. (2016). Stable varieties of semigroups and groupoids. Algebra Univ. 75:85–106. DOI: 10.1007/s00012-015-0359-7.
  • Wattanatripop, K., Changphas, T. (2019). The clone of K*(n,r) -full terms. Discuss. Math., Gen. Algebra Appl. 39(2):277–288.
  • Wattanatripop, K., Changphas, T. (2021). The Menger algebra of terms induced by order-decreasing transformations. Commun. Algebra 49(7):3114–3123. DOI: 10.1080/00927872.2021.1888385.
  • Zhuchok, A. V., Kryklia, Y. A. (2021). Free left n-trinilpotent trioids. Commun. Algebra 49(2):467–481. DOI: 10.1080/00927872.2020.1802472.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.