|
Дискретный анализ и исследование операций, сер. 1, 2007, том 14, выпуск 3, страницы 53–66
(Mi da207)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Дискриминаторные позитивно замкнутые классы
трёхзначной логики
С. С. Марченков Московский государственный университет им. М. В. Ломоносова
Аннотация:
На множестве $Pk$ функций $k$-значной логики рассматривается оператор позитивного замыкания. Доказывается, что при любом $k\geqslant 3$, $k\ne 4$, множество $Hk$ всех однородных функций из $Pk$ образует атом в решётке позитивно замкнутых классов из $Pk$. Находятся все 17 позитивно замкнутых классов в $P_3$, которые целиком содержат класс $H_3$ (дискриминаторные позитивно замкнутые классы). Определяются позитивно порождающие системы этих классов.
Библ. 17.
Статья поступила: 02.03.2007
Образец цитирования:
С. С. Марченков, “Дискриминаторные позитивно замкнутые классы
трёхзначной логики”, Дискретн. анализ и исслед. опер., сер. 1, 14:3 (2007), 53–66; J. Appl. Industr. Math., 2:4 (2008), 542–549
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da207 https://www.mathnet.ru/rus/da/v14/s1/i3/p53
|
Статистика просмотров: |
Страница аннотации: | 416 | PDF полного текста: | 129 | Список литературы: | 49 |
|