Autor: Lekkoksung, Somsak - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: M-solid generalized non-deterministic varieties
Autorzy:: Lekkoksung, Somsak
Powiązania:: https://bibliotekanauki.pl/articles/728876.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: generalized non-deterministic hypersubstitution
conjugate pair of additive closure operators
M-solid generalized non-deterministic variety
Opis:: A generalized non-deterministic hypersubstitution is a mapping which maps operation symbols of type τ to the set of terms of the same type which does not necessarily preserve the arity. We apply the generalized non-deterministic hypersubstitution to an algebra of type τ and obtain a class of derived algebras of type τ. The generalized non-deterministic hypersubstitutions can be also applied to sets of equations of type τ. We obtain two closure operators which turn out to be a conjugate pair of completely additive closure operators. This allows us to apply the theory of conjugate pairs of additive closure operators to characterize M-solid generalized non-deterministic varieties of algebras.
Źródło:: Discussiones Mathematicae - General Algebra and Applications; 2016, 36, 1; 25-43
1509-9415
Pojawia się w:: Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

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ł

Informacja