Сибирский федеральный университет

Тип публикации: диссертация

Год издания: 2004

Ключевые слова: физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов, Математическая логика, алгебра и теория чисел

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

• Юрасова Екатерина Михайловна

• РИНЦ (eLIBRARY.RU)