Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Бредихин Д. А. О квазитождествах алгебр отношений с диофантовыми операциями // Том 38 (1997), Номер 1, стр. 29–41 
Множество бинарных отношений, замкнутое относительно некоторой
совокупности операций над ними, образует алгебру, называемую алгеброй
отношений. В работе приводится описание квазиэквациональных теорий и
находятся базисы их квазитождеств для классов алгебр отношений с так
называемыми диофантовыми операциями, задаваемыми с помощью формул
исчисления   предикатов первого порядка, содержащих в своей записи лишь
кванторы существования и операцию конъюнкции. Выполнимость квазитождества
в рассматриваемом классе алгебр отношений оказывается эквивалентной
доказуемости соответствующего предложения в специальным образом
построенной дедуктивной системе~--- исчислении двухполюсников.
Библиогр.~20.
© Сибирский Математический Журнал, 2003-2006