Модальные квазинормальные логики без независимой аксиоматизации

Содержание
Содержание
Введение
Общая характеристика работы.
Содержание работы
1 Исходные определения и факты
1.1 Нормальные и квазинормальные модальные логики.
1.2 Выводимость, аксиоматизируемость, независимость.
1.3 Обобщенные рафинированные шкалы, семантическое задание
модальных логик
1.4 Логики, не имеющие независимой аксиоматизации.
2 Некоторые вспомогательные результаты
2.1 Некоторые синтаксические аспекты независимой аксиоматизируемости . .
2.2 Конечные множества в рафинированных шкалах
2 3 Множества конечной иррефлсксивной глубины.
2 4 Семантические эквиваленты некоторых формул
2.5 О свойствах редукции
3 Расширения логики ГделяЛба, не имеющие независимой
аксиоматизации
3.1 Об интервалах логик, верхняя граница которых не имеет непосредственных предшественников
3.2 Счтное множество допускающих нормализацию квазинормальных логик, не имеющих независимой аксиоматизации . .
3.3 Счетное множество существенно квазинормальных логик без независимой аксиоматизации.
3.4 Непосредственные предшественники логик без независимой аксиоматизации.
Библиография