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

Detalhes bibliográficos
Autor(a) principal: Araújo, João
Data de Publicação: 2012
Outros Autores: Konieczny, Janusz
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.2/3815
Resumo: 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.
id RCAP_5bcd1b7a4e59bd0ff3b0648e83ee447e
oai_identifier_str oai:repositorioaberto.uab.pt:10400.2/3815
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling A method for finding new sets of axioms for classes of semigroupsEquational logicGroups of finite exponentBandsSemilatticesInverse semigroupsWe 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.Repositório AbertoAraújo, JoãoKonieczny, Janusz2015-03-25T09:26:04Z20122012-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.2/3815engAraú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-150933-5846DOI 10.1007/s00153-012-0276-9info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-16T15:19:11Zoai:repositorioaberto.uab.pt:10400.2/3815Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T22:44:59.926306Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv A method for finding new sets of axioms for classes of semigroups
title A method for finding new sets of axioms for classes of semigroups
spellingShingle A method for finding new sets of axioms for classes of semigroups
Araújo, João
Equational logic
Groups of finite exponent
Bands
Semilattices
Inverse semigroups
title_short A method for finding new sets of axioms for classes of semigroups
title_full A method for finding new sets of axioms for classes of semigroups
title_fullStr A method for finding new sets of axioms for classes of semigroups
title_full_unstemmed A method for finding new sets of axioms for classes of semigroups
title_sort A method for finding new sets of axioms for classes of semigroups
author Araújo, João
author_facet Araújo, João
Konieczny, Janusz
author_role author
author2 Konieczny, Janusz
author2_role author
dc.contributor.none.fl_str_mv Repositório Aberto
dc.contributor.author.fl_str_mv Araújo, João
Konieczny, Janusz
dc.subject.por.fl_str_mv Equational logic
Groups of finite exponent
Bands
Semilattices
Inverse semigroups
topic Equational logic
Groups of finite exponent
Bands
Semilattices
Inverse semigroups
description 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.
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01T00:00:00Z
2015-03-25T09:26:04Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.2/3815
url http://hdl.handle.net/10400.2/3815
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 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
0933-5846
DOI 10.1007/s00153-012-0276-9
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799135021435453440

Registros relacionados