|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Критерий полноты относительно оператора замыкания по перечислению в трехзначной логике
С. С. Марченков, В. А. Простов МГУ им. М. В. Ломоносова
Аннотация:
На множестве $P_k$ функций $k$-значной логики рассматривается оператор замыкания по перечислению (П-оператор). Доказано, что при любом $k\geqslant 2$ любой позитивно предполный класс в $P_k$ является также П-предполным. Установлено, что в трехзначной логике других П-предполных классов не существует.
Ключевые слова:
оператор замыкания по перечислению, функции трехзначной логики.
Статья поступила: 28.08.2020
Образец цитирования:
С. С. Марченков, В. А. Простов, “Критерий полноты относительно оператора замыкания по перечислению в трехзначной логике”, Дискрет. матем., 33:2 (2021), 86–99; Discrete Math. Appl., 32:2 (2022), 105–114
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1641https://doi.org/10.4213/dm1641 https://www.mathnet.ru/rus/dm/v33/i2/p86
|
|