Оглавление
Введение
1. Основные определения и факты
2. Логика эпистемической разрешимости
2.1. Транзитивная евклидова логика разрешимости
2.2. Сериальная логика разрешимости
3. Секвенциальная логика арифметической разрешимости
3.1. Аксиоматические системы.
3.2. Полнота аксиоматик
4. Секвенциальные рефлексивные логики разрешимости
4.1. Аксиоматические системы.
4.2. Метод замыкания.
4.3. Полнота аксиоматик
4.4. Полнота посредством обратного перевода
4.5. Неустранимость сечения и интерполяция.
4.6. Логика доказательств с оператором сильной разрешимости .
5. Определимые классы шкал
5.1. Определимость классов шкал в языке
5.2. Элементарные эквиваленты для формул.
5.3. Инфинитарный оператор й.
5.4. Определимость классов шкал в йязыке
5.5. Эквиваленты I и II порядка для Иформул.
Библиография
- Киев+380960830922