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

DOI10.1080/00927872.2023.2180013OpenAlexW4322490078MaRDI QIDQ6157682

Thodsaporn Kumduang, Songpon Sriwongsa

Publication date: 22 June 2023

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927872.2023.2180013

zbMATH Keywords

termtransformationvarietyformulasuperassociativity

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Operations and polynomials in algebraic structures, primal algebras (08A40) Relational systems, laws of composition (08A02) Finitary algebras (08A62)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tree algebras and varieties of tree languages
• Complexity of terms, superpositions, and generalized hypersubstitutions
• Hyperformulas and solid algebraic systems
• Equivalences, \(\alpha\)-semigroups and \(\alpha\)-congruences
• The partial clone of linear formulas
• Menger algebras of \(k\)-commutative \(n\)-place functions
• On Green's relations which are related to an algebraic system of type \(((n);(m))\)
• McCarthy-Kleene fuzzy automata and MSO logics
• Stable varieties of semigroups and groupoids.
• REGULARITY OF TRANSFORMATION SEMIGROUPS DEFINED BY A PARTITION
• EQUATIONAL THEORIES GENERATED BY HYPERSUBSTITUTIONS OF TYPE (n)
• On certain semigroups of transformations that preserve a partition
• Some varieties of algebraic systems of type ((n),(m))
• Complexity of term representations of finitary functions
• From Tree Automata to Rational Tree Expressions
• Unitary Menger algebra of C-quantifier free formulas of type (τn,(2))
• Minimal abelian varieties of algebras, I
• Partial Menger algebras of terms
• M-solid generalized non-deterministic varieties
• The clone of K^*(n,r)-full terms
• Free left n-trinilpotent trioids
• The Menger algebra of terms induced by order-decreasing transformations
• Polynomial-time tests for difference terms in idempotent varieties