Критерии базисности групп в к-значной логикестатья