Publication
A method for finding new sets of axioms for classes of semigroups
| dc.contributor.author | Araújo, João | |
| dc.contributor.author | Konieczny, Janusz | |
| dc.date.accessioned | 2015-03-25T09:26:04Z | |
| dc.date.available | 2015-03-25T09:26:04Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | 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. | por |
| dc.identifier.citation | 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 | por |
| dc.identifier.doi | DOI 10.1007/s00153-012-0276-9 | |
| dc.identifier.issn | 0933-5846 | |
| dc.identifier.issn | 1432-0665 | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/3815 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.subject | Equational logic | por |
| dc.subject | Groups of finite exponent | por |
| dc.subject | Bands | por |
| dc.subject | Semilattices | por |
| dc.subject | Inverse semigroups | por |
| dc.title | A method for finding new sets of axioms for classes of semigroups | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 15 | por |
| oaire.citation.startPage | 1 | por |
| oaire.citation.title | Archive for Mathematical Logic | por |
| person.familyName | Ribeiro Soares Gonçalves de Araújo | |
| person.givenName | João Jorge | |
| person.identifier.ciencia-id | EC1F-273A-9F24 | |
| person.identifier.orcid | 0000-0001-6655-2172 | |
| rcaap.rights | openAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 | |
| relation.isAuthorOfPublication.latestForDiscovery | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 |