О квазитождествах алгебр отношений с диофантовыми операциями

Множество бинарных отношений, замкнутое относительно некоторой совокупности операций над ними, образует алгебру, называемую алгеброй отношений. В работе приводится описание квазиэквациональных теорий и находятся базисы их квазитождеств для классов алгебр отношений с так называемыми диофантовыми операциями, задаваемыми с помощью формул исчисления предикатов первого порядка, содержащих в своей записи лишь кванторы существования и операцию конъюнкции. Выполнимость квазитождества в рассматриваемом классе алгебр отношений оказывается эквивалентной доказуемости соответствующего предложения в специальным образом построенной дедуктивной системе – исчислении двухполюсников.
Библиогр. 20.