|
Труды Математического института имени В. А. Стеклова, 2011, том 274, страницы 191–209
(Mi tm3319)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Бирешетки и сверхтождества
Ю. М. Мовсисян Факультет математики и механики, Ереванский государственный университет, Ереван, Армения
Аннотация:
Бирешетки как алгебры с двумя решеточными структурами введены М. Гинсбергом и М. Фиттингом в 1986–1990 гг. Они имеют широкое приложение в исследованиях по логическому программированию, многозначной логике и интеллектуальным системам. Эти бирешетки мы называем бирешетками Гинсберга. В работе доказывается, что описание бирешеток Гинсберга с условиями сплетенности (или дистрибутивности) и ограниченности, полученное в работах разных авторов, остается в силе без условия ограниченности, а вместо условия сплетенности оказывается достаточно взять ослабленную форму сплетенности, которую мы здесь называем слабой сплетенностью. Бирешетки с этим свойством называем слабо сплетенными. Также доказывается, что любая слабо сплетенная бирешетка изоморфна суперпроизведению двух решеток, в то время как любая слабо сплетенная бирешетка Гинсберга изоморфна суперпроизведению Гинсберга двух тождественных решеток.
Поступило в декабре 2009 г.
Образец цитирования:
Ю. М. Мовсисян, “Бирешетки и сверхтождества”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 191–209; Proc. Steklov Inst. Math., 274 (2011), 174–192
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm3319 https://www.mathnet.ru/rus/tm/v274/p191
|
|