sentences:  Cancellative Skew Lattices
  
  A skew lattice is cancellative if formula_129 and formula_130 implies formula_131 and likewise formula_132 and formula_133 implies formula_134.Cancellatice skew lattices are symmetric and can be shown to form a variety.Unlike lattices, they need not be distributive, and conversely.