RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретная математика // Архив

Дискрет. матем., 2020, том 32, выпуск 1, страницы 60–73 (Mi dm1574)

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

С. С. Марченков

МГУ им. М. В. Ломоносова

Аннотация: На множестве $P_k^*$ частичных функций $k$-значной логики рассматривается оператор импликативного замыкания — расширение оператора параметрического замыкания с помощью связки импликации. Доказано, что при любом $k\geqslant 2$ число импликативно замкнутых классов в $P_k^*$ конечно. При любом $k\geqslant 2$ в $P_k^*$ определены две серии импликативно замкнутых классов и установлено, что эти две серии исчерпывают все импликативно предполные классы. Найдены все 8 атомов решетки импликативно замкнутых классов в $P_3^*$.

Ключевые слова: оператор импликативного замыкания, частичные функции многозначной логики.

УДК: 519.716

Статья поступила: 07.05.2019

DOI: 10.4213/dm1574


 Англоязычная версия: Discrete Mathematics and Applications, 2021, 31:3, 155–164

Реферативные базы данных:


© МИАН, 2024