Results 51 to 60 of about 733,709 (66)

All idempotent and regular elements in the monoid of generalized hypersubstitutions for algebraic systems of type (2; 2)

Asian-European Journal of Mathematics, 2019
There are two different concepts for hypersubstitutions for algebraic systems [K. Denecke and D. Phusanga, Hyperformulas and solid algebraic systems, Studia Logica 90(2) (2008) 263–286; J. Koppitz and D. Phusanga, The monoid of hypersubstitutions for algebraic systems, J. Announcements Union Sci. Sliven 33(1) (2018) 120–127].
Phusanga, D., Joomwong, J., Jino, S., Koppitz, J.   +3 more
openaire   +2 more sources

All idempotent hypersubstitutions of type (2,2)

Semigroup Forum, 2008
A hypersubstitution of type ( 2, 2) is a map sigma which takes the binary operation symbols f and g to binary terms s( f) and s(g). Any such s can be inductively extended to a map (sigma) over cap s on the set of all terms of type (2, 2).
Denecke, Klaus-Dieter, Cangpas, Tawat
exaly   +2 more sources

The semantical kernel of a generalized hypersubstitution

2003
Created seemingly for its own sake by the authors [``Generalized hypersubstitutions and strongly solid varieties'', Proceedings of the 59th workshop on general algebra, Potsdam, Germany, 2000 (2000)], the notion of generalized hypersubstitution is considered with regard to associated Galois connections and possible (albeit dubitable) interpretations in
Denecke, Klaus-Dieter, Leeratanavalee, Sorasak   +1 more
openaire   +2 more sources

Tree transformations defined by generalized hypersubstitutions

2003
Let \(W_\tau(X)\) be the set of all \(\tau\)-terms with variables in \(X\), where \(\tau\) is a type of algebras and \(X\) is a countably infinite set of variables. A generalized hypersubstitution assigns a term \(\sigma(f)\in W_\tau(X)\) to each function symbol \(f\) in \(\tau\), and is then extended in a natural way to a mapping \(\widehat\sigma: W_ ...
Denecke, Klaus-Dieter, Leeratanavalee, Sorasak   +1 more
openaire   +2 more sources

Essential variables in hypersubstitutions

Algebra Universalis, 2001
Jörg Koppitz
exaly  

The Order of Hypersubstitutions of Type (2, 2)

Acta Mathematica Sinica, English Series, 2006
Thawhat Changphas
exaly  

Generalized hypersubstitutions and strongly solid varieties

2000
Denecke, Klaus-Dieter, Leeratanavalee, Sorasak   +1 more
openaire   +3 more sources

On groups of hypersubstitutions

Algebra Universalis, 2010
Jonathan D. H. Smith
exaly  

Equational theories generated by generalized hypersubstitutions of type (n)

2002
Denecke, Klaus-Dieter, Koppitz, Jörg, Niwczyk, St.   +2 more
openaire   +1 more source

The Monoid of Hypersubstitutions of Type (n)

Southeast Asian Bulletin of Mathematics, 2000
S L Wismath
exaly