A method for finding new sets of axioms for classes of semigroups

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.

Detalhes bibliográficos
Autor principal: Araújo, João (author)
Outros Autores: Konieczny, Janusz (author)
Formato: article
Idioma:eng
Publicado em: 2015
Assuntos:
Equational logic
Groups of finite exponent
Bands
Semilattices
Inverse semigroups
Texto completo:http://hdl.handle.net/10400.2/3815
País:Portugal
Oai:oai:repositorioaberto.uab.pt:10400.2/3815

Texto Completo

http://hdl.handle.net/10400.2/3815

Registos relacionados