A carregar...
Publicação
A method for finding new sets of axioms for classes of semigroups
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 379.13 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices.
Descrição
Palavras-chave
Equational logic Groups of finite exponent Bands Semilattices Inverse semigroups
Contexto Educativo
Citação
Araújo, João; Konieczny, Janusz - A method for finding new sets of axioms for classes of semigroups. "Archive for Mathematical Logic" [Em linha]. ISSN 0933-5846 (Print) 1432-0665 (Online). Vol. 51, nº 5-6 (2012), p. 1-15