|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Критерий неявной полноты в трехзначной логике". Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупановастатья
- Автор: Старостин М.В.
- Сборник: Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.)
- Редакторы: Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
- Год издания: 2016
- Место издания: Изд-во механико-математического факультета МГУ Москва
- Первая страница: 226
- Последняя страница: 229
- Аннотация: Сформулирован критерий неявной полноты в трехзначной логике P_3 в терминах неявно предполных классов.
- Добавил в систему: Старостин Михаил Васильевич