Тип публикации: диссертация
Год издания: 2004
Ключевые слова: физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов, Математическая логика, алгебра и теория чисел
Аннотация: Изучены правила вывода в нестандартных логиках: модальной S4-логике, суперинтуционистской логике и временной нетранзитивной логике. Цель работы: получить решение задачи Максимовой о разрешимости по допустимости специальной модальной логики, не обладающей свойством ветвления; исследовать на разрешимость по допустимости логику с оперПоказать полностьюатором "завтра"; получить описание конечных корневых S4-фреймов ширины 2, порождающих структурно-полные логики. Дано положительное решение задачи Максимовой о разрешимости по допустимости специальной модальной логики, не обладающей свойством ветвления; найден алгоритмический критерий распознавания допустимых правил вывода в нетранзитивной модальной логике с оператором "завтра"; получены необходимые и достаточные условия того, что S4-логика ширины 2, порожденная конечным корневым фреймом без узлов с двухэлементным первым слоем, является структурно-полной.