CC BY
14
возможность проанализировать взаимосвязь проблем разрешимости [3] элементарных теорий классов универсальных упорядоченных полуавтоматов и классов полугрупп.
Для формального языка L некоторой сигнатуры Q символом Pl обозначим множество всех предложений этого языка. Теория T языка L называется разрешимой, если существует алгоритм для решения вопроса, принадлежит или нет произвольное предложение из Pl теории T. В противном случае теория T называется неразрешимой. Теория T называется наследственно неразрешимой, если любая подтеория теории T той же сигнатуры Q неразрешима. Для класса K алгебраических систем сигнатуры Q символом Kfin обозначается класс конечных систем из K. Теория Th(K) называется эффективно неотделимой, если рекурсивно неотделимы множества Th(K) и Pl\Th(Kfin), т. е. не существует таких непересекающихся рекурсивных множеств Ф, Ф С PL, что Th(K) С Ф и PL \ Th(Kfin) с Ф.
Теорема 3. Для любого класса K универсальных нетривиально упорядоченных полуавтоматов справедливы следующие утверждения:
1 ) если элементарная теория класса K наследственно неразрешима, то и элементарная теория класса полугрупп Inp K наследственно неразрешима [3];
2) если элементарная теория класса K эффективно неотделима, то и элементарная теория класса полугрупп Inp K эффективно неотделима [3].
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Акимова С.А. О характеризации упорядоченных автоматов// Социально-экономическое развитие России: Проблемы, поиски, решения: Сб. науч. тр. Саратов: Изд. центр Сарат. гос. соц.-экон. ун-та, 2005. Ч. 2. С. 105-106.
2. Визинг В.Г. Некоторые нерешенные задачи в теории графов// УМН. 1968. Т. 23, № 6. C. 117-134.
3. Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. М.: Наука, 1980. 320 с.
УДК 519.4
Д.А. Бредихин
О МНОГООБРАЗИИ ДИСТРИБУТИВНЫХ РЕШЕТОК С ДОМИНО ОПЕРАЦИЯМИ
В статье находится базис тождеств многообразия дистрибутивных решеток, порожденного классом решеток бинарных отношений, оснащенных домино операцией над отношениями.
Общеизвестно, что теория булевых алгебр является алгебраической версией логики высказываний. Рассмотрение позитивной части логики высказываний (совокупности предложений, в записи которых используются только операции конъюнкции и дизъюнкции) сводится к изучению класса дистрибутивных решеток.
Попытки алгебраизации логики предикатов привели к необходимости рассмотрения наряду с булевыми операциями ряда специфических операций над отношениями. К таким операциям относятся операции умножения и обращения, операции цилиндрофикации и ряд других операций над отношениями, имеющих многочисленные приложения в различных областях математики и логики [1]. Рассмотрение множеств отношений относительно заданных на них операций приводит к концепции алгебры отношений. Основы алгебраического подхода к изучению алгебр отношений были заложены в работах А.Тарского [2]. Им были рассмотрены алгебры отношений вида (Ф, о, -1, и, П, А, 0, и) , где о, -1 - операции умножения и обращения отношений; и, П, - - булевы операции объединения, пересечения и дополнения; А, 0, и - тождественное, пустое и универсальное отношения соответственно. Другой подход к алгебраической трактовке классической логики предикатов был реализован с помощью цилиндрических алгебр [3]. Аппарат алгебр отношений нашел применение также в теории полугрупп [4] и модальной логике [5].
Обозначим через Яв1(Х) множество всех бинарных отношений, заданных на базисном множестве X. Множество бинарных отношений Ф С Яв1(Х), замкнутое относительно некоторой совокупности О операций над ними, образует алгебру (Ф, О), называемую алгеброй отношений. Обозначим через Я{О} класс алгебр, изоморфных алгебрам отношений с операциями из О. Пусть Уат{О} - многообразие, порожденное классом Я{О}.
Рассмотрим используемые в модальной логике [5,6] домино операции 51 и 52 над бинарными отношениями. Для всякого бинарного отношения р Е Яв1(Х) положим
51 (р) = рт2р х X и 52(р) = X х рпр,
где рт1 р = {х : (Зу)(х, у) Е р} и рт2р = {у : (Зх)(х, у) Е р} - первая и вторая проекции отношения р соответственно.
Класс алгебр Я{и,П,-,52} был охарактеризован в [6], а класс Л{и,П,-,51,52} - в [5]. Нами будут рассмотрены классы Л{и,П,51} и Я{и,П,52}. Исключение из числа операций булевой операции дополнения приводит к невозможности использования в доказательствах аппарата булевых алгебр и требует новых подходов. В связи с этим заметим, что операции рассматриваемых алгебр являются позитивными, то есть могут быть заданы с помощью формул исчисления предикатов первого порядка, содержащих в
своей записи лишь конъюнкцию и дизъюнкцию, а также кванторы существования. Это позволяет применить к таким классам общую теорию многообразий и квазимногообразий алгебр отношений с позитивными операциями [7-9].
Основной результат работы формулируется в следующей теореме.
Теорема. Многообразие Var{U,H,Si} и многообразие Var{U,n,S2} совпадают. Алгебра (A,V,A,*) типа (2,2,1) принадлежит многообразию Var{U,R,S1} тогда и только тогда, когда (A,V,A,*) — дистрибутивная решетка и выполняется следующая система тождеств:
(x V y)* = x*V y*,
x A (x*)* = x, ((x* A y*)*)* = (x* A y*)*, ((x*)* A y)* = (x*)* A y*.
В заключение приведем ряд проблем, инициируемых сформулируемым результатом.
Проблема 1. Являются ли классы R{U,R,S1} и R{U,R,S2} многообразиями (квазимногообразиями)?
Проблема 2. Охарактеризовать многообразие Var{U,H,S1,S2}. Является ли это многообразие конечно базируемым?
Проблема 3. Является ли класс Var{U,H,S1,S2} многообразием (квазимногообразием)?
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Вагнер В.В. Теория отношений и алгебра частичных преобразований // Теория полугрупп и ее приложения. Саратов, 1965. Вып. 1. С. 3-197.
2. Tarski A. On the calculus of relations // J. Symbolic Logic. 1941. Vol. 6. P. 73-89.
3. Henkin L., Monk J.D., Tarski A. Cylindric Algebras. Part I. North-Holland, Amsterdam, 1971.
4. Schein B.M. Relation algebras and function semigroups // Semigroup Forum. 1970. Vol. 1. P. 1-62.
5. Venema Y. Many-Dimensional Logic. Universitiet van Amsterdam, 1989.
6. Kuhn S. The domino relation: flattening a two-dimensional logic // J. of Philosophical Logic. 1989. Vol. 18. P. 173-195.
7. Бредихин Д.А. Эквациональная теория алгебр отношений с позитивными операциями // Изв. вузов. Сер. Матемематика. 1993. № 3. С. 23-30.
8. Бредихин Д.А. О квазитождествах алгебр отношений с диофантовыми операциями // Сибирск. мат. журн. 1997. Т. 38. С. 29-41.
9. Бредихин Д.А. Об алгебрах отношений с диофантовыми операциями // Докл. РАН. 1998. Т. 360. С. 594-595.
