Статья в сборнике "Математические вопросы кибернетики" №2, Москва, 1989
Авторы:Князев В.В.
Об итеративных расширениях логики первого порядка
Аннотация:
В предлагаемой работе закон 0 и 1 распространен на класс расширений языка ℒ0, названных итеративными расширениями. Введено понятие аппроксимации формулы расширенного языка формулами первого порядка. Задача вычисления предельного значения доли выполнимости формул в итеративных расширениях сведена к вычислению предела доли выполнимости аппроксимирующих ее формул. Для иллюстрации использовано свойство связности графа и некоторые его обобщения.
Ключевые слова:
математическая логика, итеративные расширения логики, аппроксимация формулы