Введение
Глава 1. О метаматематике -логик 15
1.1 Метаматематика чистых шкал и логик 15
1.2 О иредтабличных суперинтуиционистских логиках 21
1.3 Метаматематика -шкал и -логик 24
Глава 2. Классификационные теоремы для полных по Новикову расширений иредтабличных суперинтуиционистских логик 31
2.1 Пополнения LC: классификация, примеры с одной и двумя константами и явные соотношения в них 31
2.2 Пополнения LI: классификация, примеры с одной и двумя константами и явные соотношения в них 39
2.3 Пополнения L3: классификация, примеры с одной константой и явные соотношения в них 49
Глава 3. Вопросы аксиоматики и алгоритмической разрешимости 59
3.1 Построение канонической модели 59
3.2 Аксиоматика полных по Новикову расширений иредтабличных суперинтуиционистских логик 67
3.3 О некоторых алгоритмических вопросах 77
Список литературы
