Results 21 to 30 of about 91 (84)
Hyperidentities in many-sorted algebras
Discussiones Mathematicae - General Algebra and Applications, 2009 The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several elds of science, especially in computers sciences (see e.g., [2, 1]). The main tool to study hyperidentities is the concept of a hypersubstitution. Hypersubstitutions of many-sorted algebras were studied in [3].
Klaus Denecke, Somsak Lekkoksung
openaire +1 more source
TRANSITIVE HYPERIDENTITY IN SEMIGROUPS
Proceedings of the YSU A: Physical and Mathematical Sciences, 2016 In this paper we characterize all semigroups in which the hyperidentity of transitivity $X(X(x, y), X(y, z)) = X(x, z) $ is polynomially satisfied. In particular, we show that every transitive semigroup (that is a semigroup with the identity $xy^2z = xz$ ) is also hypertransitive.
openaire +1 more source
, 1992 The concept of a free algebra plays an essential role in universal algebra and in computer science. Manipulation of terms, calculations and the derivation of identities are performed in free algebras. Word problems, normal forms, system of reductions, unification and finite bases of identities are topics in algebra and logic as well as in computer ...
openaire +1 more source
Hyperidentities in associative graph algebras
Discussiones Mathematicae - General Algebra and Applications, 2000 Graph algebras were introduced by \textit{C. R. Shallon} in her Ph.D. Thesis [Nonfinitely based binary algebras derived from lattices. UCLA, Los Angeles, Calif. (1979)] as a fruitful source of finite algebras whose laws do not have a finite basis, but they have proved useful in other contexts.
openaire +2 more sources
Super-De Morgan functions and free De Morgan quasilattices
Open Mathematics, 2014 Movsisyan Yuri, Aslanyan Vahagn
doaj +1 more source
Hyperidentities in transitive graph algebras
Discussiones Mathematicae - General Algebra and Applications, 2005 Tiang Poomsa-ard +2 more
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Distributive hyperidentities in semigroups
Journal of Contemporary Mathematical Analysis, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yu M Movsisyan
exaly +3 more sources
Associative nontrivial hyperidentities in semigroups
Journal of Contemporary Mathematical Analysis, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yu M Movsisyan
exaly +2 more sources