26 citations · 88 across the 23 of their papers we have counts for
6 papers · 1 filter
Short equational bases for MV-Algebras, commutative BCK-Algebras and ŁBCK-algebras
Joao Araujo, Michael Kinyon, Edgar Vigario
We show that the variety of MV-algebras is -based and we offer elegant -bases for the varieties of commutative BCK-algebras and ŁBCK-algebras.
Independent axiom systems for nearlattices
Joao Araujo, Michael Kinyon
A nearlattice is a join semilattice such that every principal filter is a lattice with respect to the induced order. Hickman and later Chajda et al independently showed that nearla…
On a problem of M. Kambites regarding abundant semigroups
Joao Araujo, Michael Kinyon
A semigroup is \emph{regular} if it contains at least one idempotent in each -class and in each -class. A regular semigroup is \emph{inverse} if satisfies…
Axioms for unary semigroups via division operations
Joao Araujo, Michael Kinyon
When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in…
An elegant 3-basis for inverse semigroups
Joao Araujo, Michael Kinyon
It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: [\quad x=(xx')x \qquad \quad (xx'…
Minimal paths in the commuting graphs of semigroups
Joao Araujo, Michael Kinyon, Janusz Konieczny
Let be a finite non-commutative semigroup. The commuting graph of , denoted $\cg(S)$, is the graph whose vertices are the non-central elements of and whose edges are the…