Интерполяция и определимость в логиках конечных областей Шрайнер, Павел Александрович

Короткий опис

Шрайнер, Павел Александрович.
Интерполяция и определимость в логиках конечных областей : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1998. - 89 с.
Оглавление диссертациикандидат физико-математических наук Шрайнер, Павел Александрович
Содержание
Введение
1 Логики конечных областей
1.1 Отсутствие свойства Бета у интуиционистской логики конечных областей
1.2 Расширения логики не имеющие интерполяционного свойства
1.3 Отсутствие свойства Бета у логики Jjd
1.4 Континуальные семейства суперинтуиционистских логик
без свойства Бета
1.5 Логики без равенства
2 Фрагмент интуиционистской логики конечных областей без дизъюнкции и квантора существования
2.1 Элиминация сечения в исчислении
2.2 Полнота исчисления относительно шкал Крип-
ке с конечными областями
2.3 Интерполяция и свойство Бета
Библиография