Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирский математический журнал, 1997, том 38, номер 1, страницы 29–41 (Mi smj419)  
Эта публикация цитируется в 20 научных статьях (всего в 20 статьях)

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

Д. А. Бредихин
PDF полного текста (1484 kB) Список цитирования (20)
Аннотация: Множество бинарных отношений, замкнутое относительно некоторой совокупности операций над ними, образует алгебру, называемую алгеброй отношений. В работе приводится описание квазиэквациональных теорий и находятся базисы их квазитождеств для классов алгебр отношений с так называемыми диофантовыми операциями, задаваемыми с помощью формул исчисления предикатов первого порядка, содержащих в своей записи лишь кванторы существования и операцию конъюнкции. Выполнимость квазитождества в рассматриваемом классе алгебр отношений оказывается эквивалентной доказуемости соответствующего предложения в специальным образом построенной дедуктивной системе – исчислении двухполюсников.
Библиогр. 20.
Статья поступила: 04.09.1995
Англоязычная версия:
Siberian Mathematical Journal, 1997, Volume 38, Issue 1, Pages 23–33
DOI: https://doi.org/10.1007/BF02674896
Реферативные базы данных:
УДК: 519.4
Образец цитирования: Д. А. Бредихин, “О квазитождествах алгебр отношений с диофантовыми операциями”, Сиб. матем. журн., 38:1 (1997), 29–41; Siberian Math. J., 38:1 (1997), 23–33
Цитирование в формате AMSBIB
\RBibitem{Bre97}
\by Д.~А.~Бредихин
\paper О~квазитождествах алгебр отношений с~диофантовыми операциями
\jour Сиб. матем. журн.
\yr 1997
\vol 38
\issue 1
\pages 29--41
\mathnet{http://mi.mathnet.ru/smj419}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1446669}
\zmath{https://zbmath.org/?q=an:0870.08007}
\transl
\jour Siberian Math. J.
\yr 1997
\vol 38
\issue 1
\pages 23--33
\crossref{https://doi.org/10.1007/BF02674896}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1997WU61000003}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj419
  • https://www.mathnet.ru/rus/smj/v38/i1/p29
    • Эта публикация цитируется в следующих 20 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:263
    PDF полного текста:129
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024