|
Критерий полноты для оператора замыкания по перечислению в трехзначной логике
С. С. Марченков МГУ имени М. В. Ломоносова
Аннотация:
В трехзначной логике получен критерий полноты для оператора замыкания по перечислению: найдены все 13 предполных классов.
Ключевые слова:
оператор замыкания по перечислению, трехзначная логика.
DOI:
https://doi.org/10.4213/dm1523
Полный текст:
PDF файл (145 kB)
Первая страница: PDF файл
Список литературы:
PDF файл
HTML файл
Англоязычная версия:
Discrete Mathematics and Applications, 2020, 30:1, 1–6
Реферативные базы данных:
Тип публикации:
Статья
УДК:
519.716.325 Статья поступила: 22.05.2018
Образец цитирования:
С. С. Марченков, “Критерий полноты для оператора замыкания по перечислению в трехзначной логике”, Дискрет. матем., 30:4 (2018), 47–54; Discrete Math. Appl., 30:1 (2020), 1–6
Цитирование в формате AMSBIB
\RBibitem{Mar18}
\by С.~С.~Марченков
\paper Критерий полноты для оператора замыкания по перечислению в трехзначной логике
\jour Дискрет. матем.
\yr 2018
\vol 30
\issue 4
\pages 47--54
\mathnet{http://mi.mathnet.ru/dm1523}
\crossref{https://doi.org/10.4213/dm1523}
\elib{https://elibrary.ru/item.asp?id=36447991}
\transl
\jour Discrete Math. Appl.
\yr 2020
\vol 30
\issue 1
\pages 1--6
\crossref{https://doi.org/10.1515/dma-2020-0001}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000513931900001}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85080865814}
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/dm1523https://doi.org/10.4213/dm1523 http://mi.mathnet.ru/rus/dm/v30/i4/p47
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Просмотров: |
Эта страница: | 177 | Литература: | 17 | Первая стр.: | 21 |
|