Quadratic level quasigroup equations with four variables. I.
Rectangular loops.
Quadratic Level Quasigroup Equations With Four Variables II: the Lattice of Varieties
Almost Trivial Groupoids
Generalized Associativity on Grupoids
Isotopy invariant quasigroup identities
According to S. Krstić, there are only four quadratic varieties which are closed under isotopy. We give a simple procedure generating quadratic identities and deciding which of the four varieties they define. There are about 37000 such identities with up to five variables.
Bases of web Configurations
A Proof Procedure for the First Order Logic
Parastrophically Equivalent Quasigroup Equations
Page 1