Open AccessA method for finding new sets of axioms for classes of semigroups
Author(s) -
João Araújo,
Janusz Konieczny
Publication year - 2012
Publication title -
archive for mathematical logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.618
H-Index - 32
eISSN - 1432-0665
pISSN - 0933-5846
DOI - 10.1007/s00153-012-0276-9
Subject(s) - axiom , mathematics , class (philosophy) , algebra over a field , exponent , discrete mathematics , special classes of semigroups , pure mathematics , semigroup , computer science , artificial intelligence , linguistics , philosophy , geometry
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom