Вестн. Моск. ун-та. Сер. 1. Матем., мех.,
2007, номер 3, страницы 9–13
(Mi vmumm1046)
|
Эта публикация цитируется в
5 статьях
Математика
О неявной полноте в $k$-значной логике
О. М. Касим-Заде
Аннотация:
Установлен критерий неявной полноты в
$k$-значной логике
$P_k$ при произвольном
$k\ge2$.
Библиогр. 4.
УДК:
519.716+
510.644 Поступила в редакцию: 15.12.2006
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (198 kB)