A Method for Finding New Sets of Axioms for Classes of Semigroups
Araújo, João; Konieczny, Janusz
Archives for Mathematical Logic, 51(5-6) (2012), 461-474
http://dx.doi.org/10.1007/s00153-012-0276-9
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.
|