| Найдено документов - 1 | Выборка докусментов | Версия для печати |
Сортировать по:
1. Статья
Рыбаков Михаил Николаевич.
Неразрешимость логик с унарным предикатом и двумя переменными / Рыбаков Михаил Николаевич , Шкатов Дмитрий Петрович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 246-254. - Библиогр.: с. 253-254 (11 назв.).
Неразрешимость логик с унарным предикатом и двумя переменными / Рыбаков Михаил Николаевич , Шкатов Дмитрий Петрович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 246-254. - Библиогр.: с. 253-254 (11 назв.).
Авторы: Рыбаков Михаил Николаевич , Шкатов Дмитрий Петрович
Ключевые слова: Формулы, Труды Тверского государственного университета, Неклассические логики, Логика, Рекурсивная перечислимость, Предикатные буквы
Ссылка на ресурс: http://megapro.tversu.ru/megaPro/UserEntry?Action=FindDocs&ids=5455329
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151522t.pdf
Подробнее
Аннотация: Обсуждается вопрос об алгоритмической сложности неклассических предикатных логик в языке с одной унарной предикатной буквой и двумя переменными. Показано, что если в логике нет формул, ограничивающих высоту (иногда и ширину) ее шкал Крипке, то, в зависимости от остальных ограничений, проблема принадлежности формул логике в таком языке будет неразрешима, неперечислима или даже неарифметична.