Логики конечнозначных предикатов на основе неравенств