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

Araújo, João; Konieczny, Janusz

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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
2012AMethod.pdf		379.13 KB	Adobe PDF	Download

Send Feedback

Authors

Araújo, João

Konieczny, Janusz

Abstract(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.

Keywords

Equational logic Groups of finite exponent Bands Semilattices Inverse semigroups

URI

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

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