14 pages found:
BCI-algebras
BCK-algebras
BCK-algebras of size 6
BCK-algebras otter
BCK-join-semilattices
BCK-lattices
BCK-meet-semilattices
Classes of ordered algebraic structures
Commutative BCK-algebras
HomePage
Invoke Otter or Mace on a first-order conjecture
MV-algebras
Pocrims
Varieties
![[Home]](/structures.gif)