Аннотация:
На множестве P∗2 частичных булевых функций рассматривается оператор замыкания с разветвлением по предикату равенства. Доказывается, что по отношению к этому оператору каждый замкнутый класс из P∗2 порождается множеством всех своих функций, зависящих не более чем от двух переменных. Определяются все максимальные и субмаксимальные классы в P∗2. Перечисляются все замкнутые классы, порождаемые одной одноместной или двуместной функцией.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 06–01–00438.
Б. П. Ильин, В. И. Пантелеев, “Решетка E-замкнутых классов мультифункций ранга 2”, Известия Иркутского государственного университета. Серия Математика, 48 (2024), 111–128
А. С. Зинченко, Б. П. Ильин, В. И. Пантелеев, Л. В. Рябец, “Об одном множестве $E$-замкнутых классов мультифункций ранга $2$”, Алгебра, геометрия и комбинаторика, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 214, ВИНИТИ РАН, М., 2022, 30–36
В. И. Пантелеев, Э. С. Тагласов, “О решетке $ES_I$-замкнутых классов мультифункций ранга $2$”, Известия Иркутского государственного университета. Серия Математика, 38 (2021), 96–111
В. И. Пантелеев, Э. С. Тагласов, “$ES_I $-замыкание мультифункций ранга $2$: критерий полноты, классификация и типы базисов”, Интеллектуальные системы. Теория и приложения, 25:2 (2021), 55–80
С. С. Марченков, “О действии оператора импликативного замыкания на множестве частичных функций многозначной логики”, Дискрет. матем., 32:1 (2020), 60–73; S. S. Marchenkov, “On the action of the implicative closure operator on the set of partial functions of the multivalued logic”, Discrete Math. Appl., 31:3 (2021), 155–164
Vladimir I. Panteleyev, Leonid V. Riabets, “$E$-closed sets of hyperfunctions on two-element set”, Журн. СФУ. Сер. Матем. и физ., 13:2 (2020), 231–241
V. I. Panteleev, L. V. Riabets, “Classification of multioperations of rank $2$ by $E$-precomplete sets”, Известия Иркутского государственного университета. Серия Математика, 34 (2020), 93–108
V. I. Panteleev, L. V. Riabets, “The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set”, Известия Иркутского государственного университета. Серия Математика, 29 (2019), 68–85
В. И. Пантелеев, Л. В. Рябец, “Оператор замыкания с разветвлением по предикату равенства на множестве гиперфункций ранга 2”, Известия Иркутского государственного университета. Серия Математика, 10 (2014), 93–105
Цитирование в формате AMSBIB
Обратная связь: