|
|
Вестник Тверского государственного университета. Серия: Прикладная математика, 2014, выпуск 4, страницы 17–32
(Mi vtpmk99)
|
|
|
|
Теоретические основы информатики
Неразрешимость логики квазиарных предикатов
М. Н. Рыбаков
Тверской государственный университет
Аннотация:
Строится перевод из языка первого порядка в язык логики квазиарных предикатов. Этот перевод сохраняет выполнимость формул в классах моделей, определенных на тех же множествах элементов. Как следствие, мы получаем, что логика квазиарных предикатов не является разрешимой, теория конечных моделей в языке логики квазиарных предикатов не является рекурсивно перечислимой, и так далее.
Ключевые слова:
логика квазиарных предикатов, неразрешимость, рекурсивная перечислимость.
Поступила в редакцию: 22.11.2014
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vtpmk99
|
|
Обратная связь: