|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математика
О расширениях оператора параметрического замыкания с помощью логических связок
С. С. Марченков Московский государственный университет имени М. В. Ломоносова, Москва
Аннотация:
Актуальность и цели. Операторы замыкания - один из основных инструментов классификации функций многозначной логики. Помимо широко известного оператора суперпозиции, имеется еще целый ряд так называемых сильных операторов замыкания - операторов, порождающих при любом $k \geq 2$ конечные либо счетные классификации множества функций k-значной логики. Первым из таких операторов стал оператор параметрического замыкания, предложенный А. В. Кузнецовым в середине 1970-х гг. На основе идеи А. В. Кузнецова были введены и исследованы еще два сильных оператора замыкания: оператор позитивного замыкания и оператор с полной системой логических связок. Эту идею можно распространить на любые системы логических связок, прежде всего на наиболее употребительные связки: импликацию, разделительную дизъюнкцию и т.д. Цель работы состоит в исследовании операторов замыкания, которые возникают на этом пути. Материалы и методы. В построениях и доказательствах используются логико-функциональные методы. Результаты и выводы. Рассматриваются операторы замыкания, которые получаются из оператора параметрического замыкания добавлением одной из следующих логических связок: отрицания, дизъюнкции, импликации, эквивалентности, разделительной дизъюнкции и тернарной связки $\varphi$, соответствующей булевой функции $x \oplus y \oplus z$. Первые два оператора (оператор с полной системой логических связок и оператор позитивного замыкания) хорошо изучены. В работе доказано, что оператор замыкания, отвечающий разделительной дизъюнкции, совпадает с оператором, имеющим полную систему логических связок. Остальные три оператора являются расширениями оператора позитивного замыкания, но отличны от оператора замыкания с полной системой логических связок. Кроме того, операторы, базирующиеся на связках импликация и эквивалентность , совпадают, однако на множестве булевых функций порождают ту же классификацию, что и оператор позитивного замыкания. Полученные результаты могут быть использованы в дальнейших исследованиях сильных операторов замыкания, являющихся расширениями оператора параметрического замыкания.
Ключевые слова:
оператор параметрического замыкания, сильный оператор замыкания.
Образец цитирования:
С. С. Марченков, “О расширениях оператора параметрического замыкания с помощью логических связок”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2017, № 1, 22–31
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivpnz205 https://www.mathnet.ru/rus/ivpnz/y2017/i1/p22
|
Статистика просмотров: |
Страница аннотации: | 31 | PDF полного текста: | 10 | Список литературы: | 8 |
|