53 citations · 351 across the 79 of their papers we have counts for
4 papers · 1 filter
Nonassociative right hoops
Peter Jipsen, Michael Kinyon
The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both ri…
Conjugacy in inverse semigroups
Joao Araujo, Michael Kinyon, Janusz Konieczny
In a group , elements and are conjugate if there exists such that . This conjugacy relation, which plays an important role in group theory, can be…
Proof Simplification and Automated Theorem Proving
Michael Kinyon
The proofs first generated by automated theorem provers are far from optimal by any measure of simplicity. In this paper I describe a technique for simplifying automated proofs. Ho…
Symmetrization of Jordan dialgebras
Murray R. Bremner
A basic problem for any class of nonassociative algebras is to determine the polynomial identities satisfied by the symmetrization and the skew-symmetrization of the original produ…