Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья в сборнике "Математические вопросы кибернетики" №14, Москва, 2005
Авторы: Попов С.В.
О регулярности моделей формул первого порядка
Аннотация:
Исследуются модели универсальных формул первого порядка без функциональных символов. Доказывается существование ограниченного числа типов подмоделей, из которых образуются логические модели таких формул. Основываясь на этом, доказывается разрешимость проблемы общезначимо для класса формул, представляющих собой импликации следующего вида. Их посылки — это универсальные формулы, а заключения — формулы первого порядка, сигнатура которых включена в сигнатуру посылок и вхождения атомов одного знака — либо положительные, либо отрицательные. Показано, что ослабление требований на вид заключения импликации приводит к неразрешимому классу.
Ключевые слова:
логическая формула, формулы первого порядка, логическая модель, универсальная формулы, разрешимый класс
Язык публикации: русский, страниц: 8 (с. 281-288)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Попов Сергей Викторович,  ,  ГБПОУ Колледж автоматизации и информационных технологий №20, Москва