- Tytuł:
- Hyperidentities in many-sorted algebras
- Autorzy:
-
Denecke, Klaus
Lekkoksung, Somsak - Powiązania:
- https://bibliotekanauki.pl/articles/728740.pdf
- Data publikacji:
- 2009
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
hypersubstitution
hyperidentity
heterogeneous algebra - Opis:
- The theory of hyperidentities generalizes the equational theory of universal algebras and is applicable in several fields 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]. On the basis of hypersubstitutions one defines a pair of closure operators which turns out to be a conjugate pair. The theory of conjugate pairs of additive closure operators can be applied to characterize solid varieties, i.e., varieties in which every identity is satisfied as a hyperidentity (see [4]). The aim of this paper is to apply the theory of conjugate pairs of additive closure operators to many-sorted algebras.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 1; 47-74
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł