Дискрет. матем.,
2018, том 30, выпуск 4, страницы 47–54
(Mi dm1523)
|
Эта публикация цитируется в
2 статьях
Критерий полноты для оператора замыкания по перечислению в трехзначной логике
С. С. Марченков МГУ имени М. В. Ломоносова
Аннотация:
В трехзначной логике получен критерий полноты для оператора замыкания по перечислению: найдены все 13 предполных классов.
Ключевые слова:
оператор замыкания по перечислению, трехзначная логика.
УДК:
519.716.325 Статья поступила: 22.05.2018
DOI:
10.4213/dm1523
© , 2024
Полный текст:
PDF файл (145 kB)